(Enter summary)
Abstract: This paper discusses aBlox - a specification notation for
high-level synthesis of mixed-signal systems. aBlox addresses
three importantaspects 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... (Update)
Cited by: More
Behavioral Modeling for High-Level Synthesis of Analog and.. - Doboli, Vemuri (2002)
(Correct)
Exploration-based High-Level Synthesis of Linear Analog.. - Doboli, Vemuri (2002)
(Correct)
Active bibliography (related documents): More All
0.3: Formal Verification of Synthesized Analog Designs - Ghosh, Vemuri
(Correct)
0.3: A Regularity-based Hierarchical Symbolic Analysis Method for.. - Doboli, Vemuri (2001)
(Correct)
0.2: Behavioral Synthesis of Analog Systems using.. - Doboli.. (1999)
(Correct)
Similar documents based on text: More All
0.8: Integrated High-Level Synthesis and Power-Net Routing for.. - Doboli, Vemuri (2001)
(Correct)
0.7: Behavioral Partitioning in the Synthesis of Mixed.. - Ganesan, Vemuri (2001)
(Correct)
0.6: Analog System Performance Estimation in the VASE.. - Vemuri..
(Correct)
Related documents from co-citation: More All
2: Maelstrom: Efficient simulation-based synthesis for custom analog cells
- Krasnicki, Phelps et al. - 1999
2: ARCHGEN: Automated Synthesis of Analog Systems (context) - Antao, Brodersen - 1995
2: Hierarchical Optimization for Synthesis of Linear Analog Systems (context) - Doboli, Vemuri - 2001
BibTeX entry: (Update)
A. Doboli, R. Vemuri, "A Functional Specification Notation for CoDesign of Mixed Analog-Digital Systems", Proc. of Design, Automation and Test in Europe Conference, 2002. http://citeseer.ist.psu.edu/doboli02functional.html More
@misc{ doboli02functional,
author = "A. Doboli and R. Vemuri",
title = "A Functional Specification Notation for CoDesign of Mixed Analog-Digital
Systems",
text = "A. Doboli, R. Vemuri, A Functional Specification Notation for CoDesign
of Mixed Analog-Digital Systems, Proc. of Design, Automation and Test in
Europe Conference, 2002.",
year = "2002",
url = "citeseer.ist.psu.edu/doboli02functional.html" }
Citations (may not include all citations):
164
IEEE Std (context) - VHDL, Manual
89
Modern Control Engineering (context) - Ogata - 1990
41
Programming Language Concepts (context) - Ghezzi, Jazayeri - 1998
32
Analog MOS Integrated Circuits for Signal Processing (context) - Gregorian, Temes - 1986
19
GABRIEL: A Design Environment for DSP (context) - Lee - 1989
16
Heterogeneous Concurrent Modeling and Design in Java (context) - Davis - 2001
13
Computer-Aided Design of Analog and Mixed-Signal Integrated .. (context) - Gielen, Rutenbar - 2000
12
Behavioral Synthesis of Analog Systems using Two-Layered Des..
- Doboli - 1999
8
A VHDL-AMS Compiler and Architecture Generator for Behaviora..
- Doboli - 1999
7
KOAN/ANAGRAM II: New Tools for Device-Level Analog Placement.. (context) - Cohn - 1991
6
Hierarchical Constraint Transformation using Directed Interv..
- Dhanwada - 1999
5
Ariadne, a Constraint-based Approach to Computer-aided Synth.. (context) - Swings, Sansen - 1993
5
A Video Driver System Designed Using Top-Down, Constraint-Dr..
- Vassiliou - 1996
3
Ear Based Hearing Protector/ Communication System (context) - Franks - 1995
3
Specification and Design-Space Exploration for High-Level Sy.. (context) - Doboli - 2000
2
Verilog-A Language Reference Manual - Analog Extensions to V.. (context) - Reference, Extensions et al. - 1996
2
Using Top-Down CAD Tools for Mixed Analog/Digital ASICs (context) - Donnay - 1996
2
Signal Representations for Numerical Processing (context) - Kopec - 1992
2
A Practical Guide to Analog Behavioral Modeling for IC Syste.. (context) - Duran - 1998
Documents on the same site (http://www.sigda.org/Archives/ProceedingArchives/Date/Date2002/papers/2002/date02/htmfiles/sun_sgi/datetoc.htm): More
Formal Verification of the Pentium 4 Floating-Point Multiplier - Kaivola, Narasimhan (2002)
(Correct)
Reducing Test Application Time Through Test Data Mutation.. - Reda, Orailoglu (2002)
(Correct)
Profile-based Dynamic Voltage Scheduling using.. - Azevedo, Issenin.. (2002)
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC