Functional simulation in the lamp system
DAC '76 Proceedings of the 13th Design Automation Conference
A set of programs for MOS design
DAC '81 Proceedings of the 18th Design Automation Conference
A functional level modelling language for digital simulation
DAC '82 Proceedings of the 19th Design Automation Conference
Digital logic simulation at the gate and functional level
DAC '79 Proceedings of the 16th Design Automation Conference
LSI logic testing: an overview
IEEE Transactions on Computers
| Hi-index | 0.00 |
This paper describes an experimental design specification language which is “engineer oriented” rather than “programmer oriented.” Computer programs using this language as input will Create a software model of the function description, statically and dynamically check for the completeness of the function described, check the logic implementation of the function for completeness and accuracy and generate a number of documents to provide clear communications.