{-# OPTIONS --safe --cubical #-}

-- Generated by tools/yosys_json_to_agda.py.
-- Host parsing and source generation are untrusted; safe decoding is mandatory.

module Spartan6.Generated.YosysIdentityUnknown where

open import Agda.Builtin.String using (String)

import FF.Json as JSON
open import Spartan6.Import.Source

adapterRequestedTop : String
adapterRequestedTop = "identity"

adapterSourceSHA256 : String
adapterSourceSHA256 = "bc60b625ce3c6ced833b64f698d04c10945300902e058472ecd9406bf68c99cb"

jsonDocument : JSON.JsonValue
jsonDocument =
  genObjectCons "creator" (genString "Yosys 0.62 (git sha1 v0.62, clang++ 21.1.8 -fPIC -O3)") (genObjectCons "modules" (genObjectCons "identity" (genObjectCons "attributes" (genObjectCons "top" (genString "00000000000000000000000000000001") (genObjectCons "src" (genString "examples/yosys/identity.v:1.1-6.10") (genObjectNil))) (genObjectCons "ports" (genObjectCons "input_bit" (genObjectCons "direction" (genString "input") (genObjectCons "bits" (genArrayCons (genNumber 2) (genArrayNil)) (genObjectNil))) (genObjectCons "output_bit" (genObjectCons "direction" (genString "output") (genObjectCons "bits" (genArrayCons (genNumber 3) (genArrayNil)) (genObjectNil))) (genObjectNil))) (genObjectCons "cells" (genObjectCons "$abc$1406$auto$blifparse.cc:557:parse_blif$1407" (genObjectCons "hide_name" (genNumber 1) (genObjectCons "type" (genString "INV") (genObjectCons "parameters" (genObjectNil) (genObjectCons "attributes" (genObjectCons "module_not_derived" (genString "00000000000000000000000000000001") (genObjectCons "src" (genString "/nix/store/svwkagpsjs6crhf5w4r9qmsywd1vqbdb-yosys-0.62/bin/../share/yosys/xilinx/lut_map.v:36.13-36.48") (genObjectNil))) (genObjectCons "port_directions" (genObjectCons "I" (genString "input") (genObjectCons "O" (genString "output") (genObjectNil))) (genObjectCons "connections" (genObjectCons "I" (genArrayCons (genNumber 2) (genArrayNil)) (genObjectCons "O" (genArrayCons (genNumber 3) (genArrayNil)) (genObjectNil))) (genObjectNil))))))) (genObjectNil)) (genObjectCons "netnames" (genObjectCons "input_bit" (genObjectCons "hide_name" (genNumber 0) (genObjectCons "bits" (genArrayCons (genNumber 2) (genArrayNil)) (genObjectCons "attributes" (genObjectCons "src" (genString "examples/yosys/identity.v:2.15-2.24") (genObjectNil)) (genObjectNil)))) (genObjectCons "output_bit" (genObjectCons "hide_name" (genNumber 0) (genObjectCons "bits" (genArrayCons (genNumber 3) (genArrayNil)) (genObjectCons "attributes" (genObjectCons "src" (genString "examples/yosys/identity.v:3.15-3.25") (genObjectNil)) (genObjectNil)))) (genObjectNil))) (genObjectNil))))) (genObjectNil)) (genObjectNil))