A functional specification notation for co-design of mixed analog-digital systems

Alex Doboli; Ranga Vemuri

doi:10.1109/DATE.2002.998384

A functional specification notation for co-design of mixed analog-digital systems

Alex Doboli
, Ranga Vemuri

Electrical Engineering

University of Cincinnati

Research output: Contribution to journal › Conference article › peer-review

6 Scopus citations

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.

Original language	English
Article number	998384
Pages (from-to)	760-767
Number of pages	8
Journal	Proceedings -Design, Automation and Test in Europe, DATE
DOIs	https://doi.org/10.1109/DATE.2002.998384
State	Published - 2002
Event	2002 Design, Automation and Test in Europe Conference and Exhibition, DATE 2002 - Paris, France Duration: Mar 4 2002 → Mar 8 2002

Access to Document

10.1109/DATE.2002.998384

Cite this

@article{d4a2a5ff06d24cc19ee542dcee6ed620,

title = "A functional specification notation for co-design of mixed analog-digital systems",

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.",

author = "Alex Doboli and Ranga Vemuri",

year = "2002",

doi = "10.1109/DATE.2002.998384",

language = "English",

pages = "760--767",

journal = "Proceedings -Design, Automation and Test in Europe, DATE",

issn = "1530-1591",

note = "2002 Design, Automation and Test in Europe Conference and Exhibition, DATE 2002 ; Conference date: 04-03-2002 Through 08-03-2002",

}

TY - JOUR

T1 - A functional specification notation for co-design of mixed analog-digital systems

AU - Doboli, Alex

AU - Vemuri, Ranga

PY - 2002

Y1 - 2002

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/0242531714

U2 - 10.1109/DATE.2002.998384

DO - 10.1109/DATE.2002.998384

M3 - Conference article

AN - SCOPUS:0242531714

SN - 1530-1591

SP - 760

EP - 767

JO - Proceedings -Design, Automation and Test in Europe, DATE

JF - Proceedings -Design, Automation and Test in Europe, DATE

M1 - 998384

T2 - 2002 Design, Automation and Test in Europe Conference and Exhibition, DATE 2002

Y2 - 4 March 2002 through 8 March 2002

ER -

A functional specification notation for co-design of mixed analog-digital systems

Abstract

Access to Document

Other files and links

Fingerprint

Cite this