An edge-endpoint-based configurable hardware architecture for vlsi cad layout design rule checkingDesign rule checking (DRC) is an important step in VLSI design in which the widths and spacings of design features in a VLSI circuit layout are checked against the design rules of a ...
Architectural rule checking for high-level synthesis... In this paper, we present an architectural rule checking approach for highlevel design verification....
Applying partial evaluation to vlsi design rule checkingThis report describes the design and implementation of a complete VLSI design rule checking program....
Semantic rule-checking for regulation compliance checking: an overview of strategies and approaches...construction data is represented in the Resource Description Framework (RDF) data model, it makes sense to take advantage of the underlying logical basis of RDF and realise a semantic rule-checking process as it is currently not available in architectural design and construction industry....