ABSTRACT:

There is a critical need for design automation in microarchitectural modelling and synthesis. One of the areas which lacks the necessary automation support is synthesis of instruction codes targeting various design optimality criteria. This paper aims to fill this gap by providing a set of formal methods and a software tool for synthesis of instruction codes given the description of a processor as a set of instructions. The method is based on the conditional partial order graph (CPOG) model, which is a formalism for efficient specification and synthesis of microcontrollers. It describes a system as a functional composition of its behavioural scenarios, or instructions, each of them being a partial order of events. In order to distinguish instructions within a CPOG they are given different encodings represented with Boolean vectors. Size and latency of the final microcontroller significantly depends on the chosen encodings, thus efficient synthesis of instruction codes is essential. The paper shows that the CPOG model is a very convenient formalism for efficient representation of processor instruction sets. It provides a ground for a concise formulation of several encoding problems, which are reducible to the Boolean satisfiability (SAT) problem and can be efficiently solved by modern SAT solvers.


Did you like this research project?

To get this research project Guidelines, Training and Code... Click Here


PROJECT TITLE : Encoding high-cardinality string categorical variables ABSTRACT: Vector representations of categorical variables, such as the one-hot encoding used above, are typically required for use in statistical modeling.
PROJECT TITLE : A Self-Supervised Gait Encoding Approach with Locality-Awareness for 3D Skeleton Based Person Re-Identification ABSTRACT: The concept of person re-identification (Re-ID) using gait features within 3D skeleton
PROJECT TITLE : Multi-Channel and Multi-Model-Based Auto encoding Prior for grayscale image restoration ABSTRACT: Low-level image processing's long-standing challenge is image restoration (IR). To get aesthetically appealing
PROJECT TITLE : Estimation, Control and Prediction of Voltage Level and Stability at Receiving Node ABSTRACT: Receiver voltage stability is addressed in this article. Voltage stability and level are intertwined concepts. Although
PROJECT TITLE :ECRB-Based Optimal Parameter Encoding Under Secrecy Constraints - 2018ABSTRACT:In this Project, optimal deterministic encoding of a scalar parameter is investigated in the presence of an eavesdropper. The aim is

Ready to Complete Your Academic MTech Project Work In Affordable Price ?

Project Enquiry