Extraction is a very common concept in ECAD, which is generally used as a means of validation, such as parameter extraction or netlist extraction from mask layout. In this chapter we present an extraction technique intended to provide the necessary link between hardware-oriented processor models and advanced code generation algorithms Instruction-set extraction reads an HDL processor model and emits the set of valid instructions for the specified processor. The organization of this chapter is as follows. First, we analyze different processor description styles and we define the necessary terminology. The main part of this chapter is constituted by algorithms for extracting the instruction set from an HDL processor model. The overall extraction process consists of three main phases: construction of an internal processor model, behavioral analysis of single modules, and structural analysis for composing local module operations to global instruction patterns.
KeywordsBoolean Function Boolean Variable Variable Assignment Binary Decision Diagram Register Transfer
Unable to display preview. Download preview PDF.