5 papers:
SCAM-2015-DarizRS #analysis #programmable- A static microcode analysis tool for programmable load drivers (LD, MR, MS), pp. 265–270.
DATE-2010-ChenLJC #distributed #manycore #memory management #using- Supporting Distributed Shared Memory on multi-core Network-on-Chips using a dual microcoded controller (XC, ZL, AJ, SC), pp. 39–44.
- DATE-2007-ReshadiG #architecture #embedded #low level #programming
- Interrupt and low-level programming support for expanding the application domain of statically-scheduled horizontal-microcoded architectures in embedded systems (MR, DG), pp. 1337–1342.
CAV-2005-AronsEFMMSSTVZ #verification- Formal Verification of Backward Compatibility of Microcode (TA, EE, LF, SMH, MM, JS, ES, AT, MYV, LDZ), pp. 185–198.
SLP-1985-Carlsson85 #lisp #prolog- A Microcoded Unifier for Lisp Machine Prolog (MC), pp. 162–171.
