The application of program verification techniques to hardware verification
- John A. Darringer
- 1988
- DAC 1988
Publications
Date
Featured collections
Popular topics
9040 results for Computer Science
The Yorktown simulation engine
- Monty M. Denneau
- 1988
- DAC 1988
A logical version of functional grammar
- William C. Rounds
- Alexis Manaster-Ramer
- 1987
- ACL 1987
DYNAMIC TREE DETECTION IN COMPUTER NETWORKS.
- Israel Cidon
- I.S. Gopal
- 1986
- INFOCOM 1986
ARCHITECTURE, PROTOCOLS, AND ISDN.
- Jeffrey M. Jaffe
- 1986
- INFOCOM 1986
Computer methods for morphological analysis
- Roy J. Byrd
- Judith L. Klavans
- et al.
- 1986
- ACL 1986
Technology adaptation in logic synthesis
- William H. Joyner
- Louise H. Trevillyan
- et al.
- 1986
- DAC 1986
Hierarchical global wiring for custom chip design
- W.K. Luk
- D.T. Tang
- et al.
- 1986
- DAC 1986
Vanguard: A chip physical design system
- Peter S. Hauge
- Ellen J. Yoffa
- 1986
- DAC 1986
SLS - A fast switch level simulator for verification and fault coverage analysis
- Z. Barzilai
- D. Beece
- et al.
- 1986
- DAC 1986