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

open import Agda.Builtin.String using (String)

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

adapterRequestedTop : String
adapterRequestedTop = "toggle_enable"

adapterSourceSHA256 : String
adapterSourceSHA256 = "ef91c24bbe042ee0973a419ab486688b21841682a2e6b275acd2ac560f699bc9"

jsonDocument : JSON.JsonValue
jsonDocument =
  genObjectCons "creator" (genString "Yosys 0.62 (git sha1 v0.62, clang++ 21.1.8 -fPIC -O3)") (genObjectCons "modules" (genObjectCons "toggle_enable" (genObjectCons "attributes" (genObjectCons "top" (genString "00000000000000000000000000000001") (genObjectCons "src" (genString "examples/yosys/toggle_enable.v:1.1-13.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 "toggle_enable" (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$1414$auto$blifparse.cc:557:parse_blif$1415" (genObjectCons "hide_name" (genNumber ) (genObjectCons "type" (genString "LUT2") (genObjectCons "parameters" (genObjectCons "INIT" (genString "0110") (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:43.26-44.30") (genObjectNil))) (genObjectCons "port_directions" (genObjectCons "I0" (genString "input") (genObjectCons "I1" (genString "input") (genObjectCons "O" (genString "output") (genObjectNil)))) (genObjectCons "connections" (genObjectCons "I0" (genArrayCons (genNumber ) (genArrayNil)) (genObjectCons "I1" (genArrayCons (genNumber ) (genArrayNil)) (genObjectCons "O" (genArrayCons (genNumber ) (genArrayNil)) (genObjectNil)))) (genObjectNil))))))) (genObjectCons "$auto$ff.cc:337:slice$1334" (genObjectCons "hide_name" (genNumber ) (genObjectCons "type" (genString "FDRE") (genObjectCons "parameters" (genObjectCons "INIT" (genString "0") (genObjectNil)) (genObjectCons "attributes" (genObjectCons "module_not_derived" (genString "00000000000000000000000000000001") (genObjectCons "src" (genString "examples/yosys/toggle_enable.v:7.3-12.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$1414$xor$examples/yosys/toggle_enable.v:11$2_Y" (genObjectCons "hide_name" (genNumber ) (genObjectCons "bits" (genArrayCons (genNumber ) (genArrayNil)) (genObjectCons "attributes" (genObjectCons "src" (genString "examples/yosys/toggle_enable.v:11.12-11.29") (genObjectNil)) (genObjectNil)))) (genObjectCons "clock" (genObjectCons "hide_name" (genNumber ) (genObjectCons "bits" (genArrayCons (genNumber ) (genArrayNil)) (genObjectCons "attributes" (genObjectCons "src" (genString "examples/yosys/toggle_enable.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_enable.v:5.15-5.16") (genObjectNil)) (genObjectNil)))) (genObjectCons "reset" (genObjectCons "hide_name" (genNumber ) (genObjectCons "bits" (genArrayCons (genNumber ) (genArrayNil)) (genObjectCons "attributes" (genObjectCons "src" (genString "examples/yosys/toggle_enable.v:3.15-3.20") (genObjectNil)) (genObjectNil)))) (genObjectCons "toggle_enable" (genObjectCons "hide_name" (genNumber ) (genObjectCons "bits" (genArrayCons (genNumber ) (genArrayNil)) (genObjectCons "attributes" (genObjectCons "src" (genString "examples/yosys/toggle_enable.v:4.15-4.28") (genObjectNil)) (genObjectNil)))) (genObjectNil)))))) (genObjectNil))))) (genObjectNil)) (genObjectNil))