DOI10.1016/0010-4485(91)90049-3zbMath0793.68198MaRDI QIDQ1181977
S. Singh
Publication date: 27 June 1992 Published in: CAD. Computer-Aided Design (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/0010-4485(91)90049-3
zbMATH Keywords
lazy evaluation; functional programming; circuit design; digital-logic systems; software simulators
Mathematics Subject Classification ID
68U07: Computer science aspects of computer-aided design
68N99: Theory of software
Related Items