Describe behavior
Bring a Workcraft STG .g, a circuit .work, or ACT CHP. Start from intent, not a preselected pipeline.
Early access · asynchronous digital design
AsyncSilica is an AI-assisted workspace for exploring asynchronous hardware — from handshake intent and CHP through verified STGs, mapped Verilog, and physical layout previews.
An independent project by Prithvi Deyannavar · a research prototype for engineers and researchers building beyond synchronous assumptions.
One thread of intent
Keep the reasoning visible as a design moves through the asynchronous toolchain. Ask for one operation at a time; inspect the artifacts it produces.
Bring a Workcraft STG .g, a circuit .work, or ACT CHP. Start from intent, not a preselected pipeline.
Workcraft handles STG verification and synthesis. ACT handles CHP synthesis, simulation, and the act2v / v2act bridge.
formal · functional · mappedFollow ACT components through placement and routing, Magic GDSII, Netgen LVS, and KLayout previews.
sky130 · GDSII · LVSChoose your route
Explore the documented paths independently. AsyncSilica does not silently choose a route or chain operations without an explicit request.
Use ACT tools for CHP synthesis and functional simulation, then export or bridge when the design needs to meet another representation.
Use Workcraft for STG verification and synthesis, including technology mapping for structural Verilog that can cross into the ACT ecosystem.
Explore the ACT physical path with SKY130 / sky130l, placement and routing components, Magic GDSII, Netgen LVS, and KLayout previews.
Built for the in-between
AsyncSilica helps make asynchronous design work legible: the model, the tool call, and the generated artifact stay close together.
Tell us what you are building ↗Explicit requests drive each operation. No hidden default workflow or automatic synthesis chain.
Inspect timing diagrams, STGs, mapped Verilog, ACT, GDSII, and reports as they are generated.
Structural technology-mapped Verilog is the hand-off between Workcraft synthesis and ACT's native flow.
Inputs / outputs
.g · .work · timing diagrams.act · simulation traces · channel modelsPhysical path
The current physical exploration path is built around the open SKY130 ecosystem, with a design that can grow toward additional PDKs over time.
Currently supported for physical exploration
More PDKs · planned extensibilityGood questions
No. This is an active research prototype. It is useful for exploring flows and artifacts, but it does not promise autonomous signoff, guaranteed silicon, or production readiness.
No. AsyncSilica follows the operation you ask for. If a request is ambiguous between Workcraft and ACT routes, the agent should ask you to choose.
SKY130 / sky130l is the current supported physical target. Additional PDK support is planned as the interfaces mature; unsupported PDKs should not be assumed to work.
Researchers, hardware engineers, students, and curious builders working with asynchronous digital design are all welcome. Tell us what you want to explore.
Make the next run count
Leave a note and we will follow up when the next private preview is ready.