VVDS: a verification/diagnosis system for VHDL
DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference
Formally verifying a microprocessor using a simulation methodology
DAC '94 Proceedings of the 31st annual Design Automation Conference
Automatic Derivation of Code Generators from Machine Descriptions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Functional testing techniques for digital LSI/VLSI systems
DAC '84 Proceedings of the 21st Design Automation Conference
Contrasting translation, verification and synthesis in software and firmware engineering
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
Heuristics for the global optimization of microprograms
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
Analyzing exotic instructions for a retargetable code generator
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Flow graph machine models in microcode synthesis
ACM SIGMICRO Newsletter
Functional test generation of digital LSI/VLSI systems using machine symbolic execution technique
ITC'84 Proceedings of the 1984 international test conference on The three faces of test: design, characterization, production
Instruction set processor specifications (ISPS): the notation and its applications
IEEE Transactions on Computers
| Hi-index | 0.00 |