Bill Lin, Steven Vercauteren  Home/Search
Context Related
Links: ACM | imec.be/vsdm/ftp/pu...iccad94intg.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: kent.edu/~kqiu/codesign_body (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We describe a new high-level compiler called Integral for designing system interface modules. The input is a high-level concurrent algorithmic specification that can model complex concurrent control flow, logical and arithmetic computations, abstract communication, and low-level behavior. For abstract communication between two communicating modules that obey different I/O protocols, the necessary protocol conversion behaviors are automatically synthesized using a Petri net theoretic approach.... (Update)
Cited by: More
Design Automation for Embedded Systems, X, xx--xx (2000) - Interlanguage.. (Correct)
Protocol Selection and Interface Generation for HW-SW.. - Daveau, Marchioro.. (1997) (Correct)
A Higher Level System Communication Model for.. - Svarstad.. (2001) (Correct)
Active bibliography (related documents): More All
0.3: Computer-Aided Synthesis And Verification Of Gate-Level Timed.. - Myers (1995) (Correct)
0.3: Co-Design Of DSP Systems - De Man, Bolsens, Lin, Van Rompaey.. (1996) (Correct)
0.3: Hardware/Software Co-Design of Digital.. - Bolsens, De Man.. (1997) (Correct)
Similar documents based on text: More All
0.2: Real-Time Merging - Greenstreet (Correct)
0.2: Design Experiments for Measurement and Modeling of .. - van Heijningen.. (2000) (Correct)
0.1: A Strategy for Real-Time Kernel Support in.. - Vercauteren, Lin, De Man (1996) (Correct)
Related documents from co-citation: More All
14: Specification and Design of Embedded Systems (context) - Gajski, Vahid et al. - 1994
9: An Approach to Interface Synthesis - Madsen, Hald
7: Ptolemy: A framework for simulating and prototyping heterogeneous systems - Buck, Ha et al. - 1991
BibTeX entry: (Update)
B. Lin and S. Vercauteren. Synthesis of concurrent system interface modules with automatic protocol conversion generation. In IEEE International Conference on Computer-Aided Design, November 1994. http://citeseer.ist.psu.edu/lin94synthesis.html More
@inproceedings{ linsynthesis,
author = "B. Lin and S. Vercauteren",
title = "Synthesis of Concurrent System Interface Modules with Automatic Protocol Conversion Generation",
pages = "101--109",
url = "citeseer.ist.psu.edu/lin94synthesis.html" }
Citations (may not include all citations):2732 Communicating sequential processes (context) - Hoare - 1978 ACM DBLP
138 Synthesis of self-timed VLSI circuits from graph-theoretic s.. (context) - Chu - 1987 ACM
108 Petri Net Theory and the Modelling of Systems (context) - Peterson - 1981
75 Compiling communicating processes into delay-insensitive VLS.. (context) - Martin - 1986 ACM DBLP
64 Automatic gate-level synthesis of speed-independent circuits (context) - Beerel, Meng ACM DBLP
62 An algorithm for exact bounds on the time separation of even.. - Amon, Hulgaard et al. - 1993 ACM DBLP
53 Algorithms for interface timing verification (context) - McMillan, Dill - 1992 ACM DBLP
50 Algorithms for synthesis of hazard-free asynchronous circuit.. - Lavagno, Keutzer et al. - 1991 ACM DBLP
42 A generalized state assignment theory for transformations on.. (context) - Vanbekbergen, Lin et al. - 1992 ACM
35 Translating concurrent programs into delayinsensitive circui.. (context) - Brunvand, Sproull - 1989
30 A new interface specification methodology and its applicatio.. (context) - Borriello - 1988 ACM
22 Shilpa: a high-level synthesis system for selftimed circuits - Akella, Gopalakrishnan - 1992
21 Specification and analysis of timing constraints in signal t.. (context) - Vanbekbergen, Goossens et al. - 1992
20 Handshake circuits: an intermediary between communicating pr.. (context) - van Berkel - 1992
9 Clover : A timing constraints verification system (context) - Doukas, LaPaugh - 1991
6 A communicating Petri net model for the design of concurrent.. (context) - de Jong, Lin - 1994
5 Basic gate implementation of speed-independendent circuits - Kondratyev, Kishinevsky et al. - 1994
3 Design of system-level interfaces (context) - Sun, Brodersen - 1992
1 Tutorial and reference manual (context) - Couvreur, Vanbekbergen et al. - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://aegis.mcs.kent.edu/~kqiu/codesign_body.html): More
Hardware-Software Co-Design Of Embedded Systems.. - Balarin.. (Correct)
Domain-Specific Interface Generation from Dataflow.. - Eisenring, Teich (1998) (Correct)
Interface Logic Generation for VHDL-Specified Components - Jeff Collins (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