Constraint-Aware Circuit-Level DAG Generation Using Full-Topology Enumeration

Read full text
Authors: Dimitris Georgiou
Cited by: 0

Fields of Study & Subjects

VLSI and FPGA Design Techniques Formal Methods in Verification Low-power high-performance VLSI design

Publication details

Journal / source
Research Square
Publication date
20 January 2026
Document type
Preprint