{-# 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.YosysToggleUninitialised where

open import Agda.Builtin.String using (String)

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

adapterRequestedTop : String
adapterRequestedTop = "toggle"

adapterSourceSHA256 : String
adapterSourceSHA256 = "2d0f7eef3dabf57504e339bf63309b4d862bdf07be6b78505552e8f5d5ea17cc"

jsonDocument : JSON.JsonValue
jsonDocument =
  genObjectCons "creator" (genString "Yosys 0.62 (git sha1 v0.62, clang++ 21.1.8 -fPIC -O3)") (genObjectCons "modules" (genObjectCons "toggle" (genObjectCons "attributes" (genObjectCons "top" (genString "00000000000000000000000000000001") (genObjectCons "src" (genString "examples/yosys/toggle.v:1.1-12.10") (genObjectNil))) (genObjectCons "ports" (genObjectCons "clock" (genObjectCons "direction" (genString "input") (genObjectCons "bits" (genArrayCons (genNumber ) (genArrayNil)) (genObjectNil))) (genObjectCons "reset" (genObjectCons "direction" (genString "input") (genObjectCons "bits" (genArrayCons (genNumber ) (genArrayNil)) (genObjectNil))) (genObjectCons "q" (genObjectCons "direction" (genString "output") (genObjectCons "bits" (genArrayCons (genNumber ) (genArrayNil)) (genObjectNil))) (genObjectNil)))) (genObjectCons "cells" (genObjectCons "$abc$1413$auto$blifparse.cc:557:parse_blif$1414" (genObjectCons "hide_name" (genNumber ) (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 ) (genArrayNil)) (genObjectCons "O" (genArrayCons (genNumber ) (genArrayNil)) (genObjectNil))) (genObjectNil))))))) (genObjectCons "$auto$ff.cc:337:slice$1333" (genObjectCons "hide_name" (genNumber ) (genObjectCons "type" (genString "FDRE") (genObjectCons "parameters" (genObjectCons "INIT" (genString "x") (genObjectNil)) (genObjectCons "attributes" (genObjectCons "module_not_derived" (genString "00000000000000000000000000000001") (genObjectCons "src" (genString "examples/yosys/toggle.v:6.3-11.6|/nix/store/svwkagpsjs6crhf5w4r9qmsywd1vqbdb-yosys-0.62/bin/../share/yosys/xilinx/ff_map.v:68.41-68.95") (genObjectNil))) (genObjectCons "port_directions" (genObjectCons "C" (genString "input") (genObjectCons "CE" (genString "input") (genObjectCons "D" (genString "input") (genObjectCons "Q" (genString "output") (genObjectCons "R" (genString "input") (genObjectNil)))))) (genObjectCons "connections" (genObjectCons "C" (genArrayCons (genNumber ) (genArrayNil)) (genObjectCons "CE" (genArrayCons (genString "1") (genArrayNil)) (genObjectCons "D" (genArrayCons (genNumber ) (genArrayNil)) (genObjectCons "Q" (genArrayCons (genNumber ) (genArrayNil)) (genObjectCons "R" (genArrayCons (genNumber ) (genArrayNil)) (genObjectNil)))))) (genObjectNil))))))) (genObjectNil))) (genObjectCons "netnames" (genObjectCons "$abc$1413$not$examples/yosys/toggle.v:10$2_Y" (genObjectCons "hide_name" (genNumber ) (genObjectCons "bits" (genArrayCons (genNumber ) (genArrayNil)) (genObjectCons "attributes" (genObjectCons "src" (genString "examples/yosys/toggle.v:10.12-10.14") (genObjectNil)) (genObjectNil)))) (genObjectCons "clock" (genObjectCons "hide_name" (genNumber ) (genObjectCons "bits" (genArrayCons (genNumber ) (genArrayNil)) (genObjectCons "attributes" (genObjectCons "src" (genString "examples/yosys/toggle.v:2.15-2.20") (genObjectNil)) (genObjectNil)))) (genObjectCons "q" (genObjectCons "hide_name" (genNumber ) (genObjectCons "bits" (genArrayCons (genNumber ) (genArrayNil)) (genObjectCons "attributes" (genObjectCons "src" (genString "examples/yosys/toggle.v:4.15-4.16") (genObjectNil)) (genObjectNil)))) (genObjectCons "reset" (genObjectCons "hide_name" (genNumber ) (genObjectCons "bits" (genArrayCons (genNumber ) (genArrayNil)) (genObjectCons "attributes" (genObjectCons "src" (genString "examples/yosys/toggle.v:3.15-3.20") (genObjectNil)) (genObjectNil)))) (genObjectNil))))) (genObjectNil))))) (genObjectNil)) (genObjectNil))