Formal design verification of digital systems
Wojcik, Anthony S.
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 20th conference on Design automation; 27-29 June 1983 (27.06.1983)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 20th conference on Design automation; 27-29 June 1983 (27.06.1983)
Get full text
Conference Proceeding
A formal design verification system based on an automated reasoning system
Wojcik, Anthony S., Kljaich, Joseph, Srinivas, Nagendra
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 21st conference on Design automation; 25-27 June 1984 (25.06.1984)
Published in Annual ACM IEEE Design Automation Conference: Proceedings of the 21st conference on Design automation; 25-27 June 1984 (25.06.1984)
Get full text
Conference Proceeding
Design recovery for incomplete combinational logic
Doom, T.E., Wojcik, A.S., Moon-Jung Chung
Published in Proceedings Ninth Great Lakes Symposium on VLSI (1999)
Published in Proceedings Ninth Great Lakes Symposium on VLSI (1999)
Get full text
Conference Proceeding
A rule-based circuit representation for automated CMOS design and verification
Wu, C.-F. E., Wojcik, A. S., Ni, L. M.
Published in 24th ACM/IEEE Design Automation Conference (01.10.1987)
Published in 24th ACM/IEEE Design Automation Conference (01.10.1987)
Get full text
Conference Proceeding