Instruction set processor specifications (ISPS): The notation and its applications

Barbacci, Mario R.

doi:10.1109/tc.1981.6312154

Cited by 183 publications

(34 citation statements)

References 16 publications

(2 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Early ADLs such as ISPS [5] were used for simulation, evaluation and synthesis of computers and other digital systems. In this paper, we survey contemporary ADLs.…”

Section: Adls and Other Languagesmentioning

confidence: 99%

Processor Description Languages

Mishra¹,

Dutt²

2008

View full text Add to dashboard Cite

Embedded systems present a tremendous opportunity to customise designs by exploiting the application behaviour. Shrinking time-to-market, coupled with short product lifetimes, create a critical need for rapid exploration and evaluation of candidate architectures. Architecture description languages (ADL) enable exploration of programmable architectures for a given set of application programs under various design constraints such as area, power and performance. The ADL is used to specify programmable embedded systems, including processor, coprocessor and memory architectures. The ADL specification is used to generate a variety of software tools and models facilitating exploration and validation of candidate architectures. The paper surveys the existing ADLs in terms of (a) the inherent features of the languages and (b) the methodologies they support to enable simulation, compilation, synthesis, test generation and validation of programmable embedded systems. It concludes with a discussion of the relative merits and demerits of the existing ADLs and expected features of future ADLs.

show abstract

“…Early ADLs such as ISPS [5] were used for simulation, evaluation and synthesis of computers and other digital systems. In this paper, we survey contemporary ADLs.…”

Section: Adls and Other Languagesmentioning

confidence: 99%

Processor Description Languages

Mishra¹,

Dutt²

2008

View full text Add to dashboard Cite

show abstract

“…Recently, much of the work in digital system synthesis has been oriented around the development of applicationspecific integrated circuits (ASIC) 3 . In a broad sense, two approaches exist, depending upon the type and abstraction level of the input and the resulting design.…”

Section: Contrasts With Related Systemsmentioning

confidence: 99%

“…The types of systems produced typically include micro-processors and mini-computer CPUs. The SAW project [3231], evolved from the CMU-DA project [14], synthesizes digital systems from a high-level behavior language, ISP [3]. SAW's objective is to produce a very-large scale (VLSI) IC that implements the machine described by the ISP input program.…”

Section: Contrasts With Related Systemsmentioning

confidence: 99%

The Micon system for computer design

1989

View full text Add to dashboard Cite

The MICON system is an integrated collection of programs which automatically synthesizes small computer systems from high level specifications. The system address multiple levels of design, from logical through physical, providing a rapid prototyping capability. Two programs form MICON's nucleus: a know ledge-based synthesis tool called Ml; and, an automated knowledge acquisition tool named CGEN which is used to teach Ml how to design. Other tools in the MICON system are an integrated database and associated data management tools. The system is fully functional, having been used to generate working designs. This paper describes the architecture and operation of the MICON system.

show abstract

“…A procedural description of the interpretation and execution of the instructions is thus given. ISPS [3] is a descendant o f ISP with additional features to support \local units". These units can either be sequentially executed factorisations of a certain behaviour (called procedures) or units that operate concurrently to the \main circuit" (called processes).…”

Section: Related Workmentioning

confidence: 99%

Describing instruction set processors using nML

Fauth

Praet²,

Freericks

Proceedings the European Design and Test Conference. ED&TC 1995

174

112

View full text Add to dashboard Cite

Programmable processors oer a high degree of exibility and are therefore increasingly being used in embedded systems. We introduce the formalism nML which is especially suited to describe such processors in terms of their instruction set, an nML description is directly related to the standard description as found in the usual programmer's manuals. The nML formalism is based on a mixed structural and behavioural model facilitating exact yet concise descriptions. The philosophy of nML is already applied in two approaches to retargetable code generation and instruction set simulation.

show abstract

Instruction set processor specifications (ISPS): The notation and its applications

Cited by 183 publications

References 16 publications

Processor Description Languages

Processor Description Languages

The Micon system for computer design

Describing instruction set processors using nML

Contact Info

Product

Resources

About