On fundamentals of computer-aided design of firmware
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
Application of hardware description languages to microprogramming: Method, practice, and limitations
MICRO 12 Proceedings of the 12th annual workshop on Microprogramming
Concurrent software system design supported by SARA at the age of one
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Developments in verification of design correctness (A Tutorial)
DAC '80 Proceedings of the 17th Design Automation Conference
Microcode verification using SDVS-the method and a case study
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
SDVS: A system for verifying microcode correctness
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
A formal method for computer design verification
DAC '82 Proceedings of the 19th Design Automation Conference
SDVS: a system for verifying microcode correctness
ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
Flow graph machine models in microcode synthesis
ACM SIGMICRO Newsletter
A methodology for the development of special-purpose function architectures
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Reverification of a microprocessor
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
Instruction set processor specifications (ISPS): the notation and its applications
IEEE Transactions on Computers
| Hi-index | 0.00 |