Titlebook: Architecture Design and Validation Methods; Egon B?rger Book 2000 Springer-Verlag Berlin Heidelberg 2000 Design of computer architectures.

新義

Cell-based Logic Optimization,interconnection of cell instances from a given library, starting from a multi-level logic network. Emphasis is placed on the algorithmic approach to library binding, with particular reference to covering and matching techniques.

神圣不可

熱心

植物群

Machine Assisted Verification,on of combinational circuits at the gate- and word-level are surveyed. Fixed-point calculation techniques for equivalence and property verification of sequential machines are studied. The verification of processor architectures at the instruction-set and algorithmic register-transfer level is discus

善辯

致命

Modular Design for the Java Virtual Machine Architecture,, the bytecode verifier and the interpreter — each for a hierarchy of four stepwise refined JVM program layers. These layers naturally correspond to the structuring of Java into sub languages with imperative, procedural, object-oriented and exception handling features. We give our definitions in ter

碌碌之人

Evolution of the Exchange IndustryTo tackle the exponential growth in the complexity of digital circuits, designers are moving to higher levels of abstraction in the design process. This chapter surveys the state of the art in modeling and synthesis techniques above RTL. The chapter focuses in three areas: Behavioral Synthesis, High-Level Control, and Data Flow.

cauda-equina

analogous

perimenopause

978-3-642-62976-1Springer-Verlag Berlin Heidelberg 2000