Automata Applications in Chip-Design Software

DOI10.1007/978-3-540-76336-9_4MaRDI QIDQ3503891zbMATH OpenOpenAlexFDO

Authors B. W. Watson

Publication date 10 June 2008

Published in Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-76336-9_4

zbMATH Keywords

chip designdesign rule checkingEDAintegrated circuit layoutpattern matching

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 1479635
• scientific article; zbMATH DE number 1220670
• Automata- and logic-based systems design
• Boolean satisfiability and EDA applications
• scientific article; zbMATH DE number 2185688

Cited in

(1)

• scientific article; zbMATH DE number 53900 (Why is no real title available?)

This page was built for publication: Automata Applications in Chip-Design Software

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3503891)