Deterministic microcode machine generation

Microcode is a technique that is used to implement internal state machine sequencing in different type of controllers addressing a large range of different applications. It can be used to reduce the functional as well as the internal complexity of a design. A challenge in using microcode based IP-design in IPs that are designed to be used in critical applications is to ensure that the microprogram (i.e. a sequence of microcode instructions) will execute correctly in a possible harsh environment. A lot of work has been published on automatic generation of microcode as well as on proving that microcode generation is correct. However, very little work has been done on ensuring that microcode executes correctly in a harsh environment. In this paper, we propose a new deterministic solution that generates for a given set of valid internal state machine sequences the microcode as well as the embedded verification mechanism that verifies on the fly that the execution of the microcode sequence is correct and that the sequence is a valid sequence.

[1]  N.Z. Haron,et al.  Modeling and simulation of microcode Memory Built In Self Test architecture for embedded memories , 2007, 2007 International Symposium on Communications and Information Technologies.

[2]  Phyu Phyu Tar,et al.  Translating a microprogram to hardwire control , 2008, 2008 5th International Conference on Electrical Engineering/Electronics, Computer, Telecommunications and Information Technology.

[3]  Veena S. Chakravarthi,et al.  Performance analysis of low power microcode based asynchronous P-MBIST , 2015, 2015 International Conference on Advances in Computing, Communications and Informatics (ICACCI).

[4]  C. P. Tsang,et al.  Designing a microcode synthesis system , 1990, IEEE TENCON'90: 1990 IEEE Region 10 Conference on Computer and Communication Systems. Conference Proceedings.

[5]  Anna Slobodová,et al.  Microcode Verification - Another Piece of the Microprocessor Verification Puzzle , 2014, ITP.

[6]  Stamatis Vassiliadis,et al.  Microcode Processing: Positioning and Directions , 2003, IEEE Micro.

[7]  Azilah Saparon,et al.  An overview of microcode-based and FSM-based programmable memory built-in self test (MBIST) controller for coupling fault detection , 2009, 2009 IEEE Symposium on Industrial Electronics & Applications.