Title :
A functional specification notation for co-design of mixed analog-digital systems
Author :
Doboli, Alex ; Vemuri, Ranga
Author_Institution :
Electr. & Comput. Eng. Dept., State Univ. of New York, Stony Brook, NY, USA
Abstract :
This paper discusses aBlox - a specification notation for high-level synthesis of mixed-signal systems. aBlox addresses three important aspects of mixed-signal system specification: (1) description of functionality and (2) performance issues and (3) expression of analog-digital interactions. The semantics of aBlox embeds concepts and rules of a functional computational model, and uses a declarative style to denote performance elements. The paper shows some mixed-signal specifications that we developed in aBlox. Finally, we describe a high-level analog synthesis experiment that used aBlox specifications as inputs
Keywords :
VLSI; circuit CAD; formal specification; high level synthesis; integrated circuit design; mixed analogue-digital integrated circuits; programming language semantics; specification languages; SoC; aBlox; analog-digital interactions; analogue/digital codesign; declarative style; functional computational model; functional specification notation; functionality description; high-level synthesis; mixed analog-digital systems; mixed-signal system specification; performance issues; system on chip; Analog circuits; Analog-digital conversion; Circuit synthesis; Circuit testing; Concrete; Constraint optimization; Design automation; Design optimization; Hardware; Signal processing;
Conference_Titel :
Design, Automation and Test in Europe Conference and Exhibition, 2002. Proceedings
Conference_Location :
Paris
Print_ISBN :
0-7695-1471-5
DOI :
10.1109/DATE.2002.998384
