Retargetable microcode synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Contrasting translation, verification and synthesis in software and firmware engineering
MICRO 14 Proceedings of the 14th annual workshop on Microprogramming
Formalization and automated synthesis of microprograms
MICRO 13 Proceedings of the 13th annual workshop on Microprogramming
Formal semantics for the automated derivation of micro-code
DAC '82 Proceedings of the 19th Design Automation Conference
Flow graph machine models in microcode synthesis
ACM SIGMICRO Newsletter
Hi-index | 0.00 |