See this document in CiteSeerX!

A Functional Specification Notation for Co-Design of Mixed Analog-Digital Systems (2002)  (Make Corrections)  (2 citations)
Alex Doboli, et al.



  Home/Search   Context   Related

 
View or download:
sigda.org/Archives/Proceedi...07e_4.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  sigda.org/Archives/Proc...datetoc (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(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