Experiences in Prolog-based DFT rule checking

Authors:
Gianpiero Cabodi;Paolo Camurati;Paolo Prinetto
Affiliations:
Dipartimento di Automatica e Informatica, Politecnico di Torino, Corso Duca degli Abruzzi 24, I-10129 Torino Italy;Dipartimento di Automatica e Informatica, Politecnico di Torino, Corso Duca degli Abruzzi 24, I-10129 Torino Italy;Dipartimento di Automatica e Informatica, Politecnico di Torino, Corso Duca degli Abruzzi 24, I-10129 Torino Italy
Venue:
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Year:
1986

Programming in Prolog (2nd ed.)

Programming in Prolog (2nd ed.)
VERIFY: a program for proving correctness of digital hardware designs

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
The VLSI design automation assistant: what's in a knowledge base

DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Logic programming applied to hardware design specification and verification

MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Automatic checking of logic design structures For compliance with testability ground rules

DAC '77 Proceedings of the 14th Design Automation Conference

Hi-index	0.00