See this document in CiteSeerX!

The Chinook Hardware/Software Co-Synthesis System (1995)  (Make Corrections)  (23 citations)
Pai Chou, Ross Ortega, Gaetano Borriello



  Home/Search   Context   Related

 
View or download:
washington.edu/tr/...CSE950304.PS.Z
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  washington.edu/resea...trbyname (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Embedded systems are becoming more commonplace and are being designed by larger numbers of designers with ever tighter constraints on design time. Unfortunately, computer aided design tools for embedded systems have not kept pace with these trends and are still fundamentally identical to those used twenty years ago. The Chinook co-synthesis system, under development at the University of Washington, addresses the automation of the most time-consuming and error-prone tasks in embedded controller... (Update)

Cited by:   More
Annotated Data Type Declarations for Bus Interface Synthesis - Gordon Cichon Institute (2000)   (Correct)
Partitioning Framework for Less Restricted Partitioning Problems - Oh, Ha   (Correct)
An Efficient Architecture Model for Systematic.. - Baghdadi.. (2001)   (Correct)

Active bibliography (related documents):   More   All
0.5:   Models and Methods for HW/SW Intellectual Property.. - Ortega, Lavagno, Borriello (1998)   (Correct)
0.5:   InnerView Hardware Debugger: A Logic Analysis Tool for the.. - Hanono (1995)   (Correct)
0.2:   Optimization of Linear Max-Plus Systems with Application to.. - Walkup (1995)   (Correct)

Similar documents based on text:   More   All
0.4:   Scheduling Issues in the Co-Synthesis of Reactive.. - Chou, Walkup, Borriello (1994)   (Correct)
0.3:   Software Architecture Synthesis for Retargetable Real-Time.. - Chou, Borriello (1997)   (Correct)
0.3:   Control Generation for Embedded Systems Based on Composition.. - Pai Chou Ken (1998)   (Correct)

Related documents from co-citation:   More   All
8:   Hardware-Software Cosynthesis for Microcontrollers (context) - ERNST, HENKEL et al. - 1993
7:   Hardware-Software Co-design of Embedded Systems -- The POLIS approach (context) - Balarin, Sentovich et al. - 1997
6:   Communication Synthesis for Distributed Embedded Systems (context) - Yen, Wolf - 1995

BibTeX entry:   (Update)

P. H. Chou, R. B. Ortega, and G. Borriello, The Chinook hardware/software co-synthesis system, Proceedings of the International Symposium on System Synthesis, 1995. http://citeseer.ist.psu.edu/chou95chinook.html   More

@techreport{ chou95chinook,
    author = "P. Chou and R. Ortega and G. Borriello",
    title = "The Chinook Hardware/Software Co-Synthesis System",
    number = "TR-95-03-04",
    year = "1995",
    url = "citeseer.ist.psu.edu/chou95chinook.html" }
Citations (may not include all citations):
2732   Communicating Sequential Processes (context) - Hoare - 1985
1174   StateCharts: a visual formalism for complex systems - Harel - 1987
362   The Stanford FLASH multiprocessor (context) - Kuskin - 1994
163   Hardware-software cosynthesis for microcontrollers (context) - Ernst, Henkel et al. - 1993
137   Hardware-software cosynthesis for digital systems - Gupta, De Micheli - 1993
134   The Verilog Hardware Description Language (context) - Thomas, Moorby - 1991
124   Petri nets: Properties (context) - Murata - 1989
79   The Esterel language (context) - Boussinot, De Simone - 1991
56   Hardware-software codesign of embedded systems (context) - Chiodo - 1994
47   Software scheduling in the co-synthesis of reactive real-tim.. - Chou, Borriello - 1994
31   Specification and design of embedded hardware-software syste.. (context) - Gajski, Vahid - 1995
25   Scheduling for reactive real-time systems (context) - Chou, Walkup et al. - 1994
21   The design of real-time programming systems based on process.. (context) - Mok - 1984
20   Predicting Deterministic Execution Times of Real-Time Progra.. (context) - Park - 1992
16   software interface in microcontrollerbased systems (context) - Chou, Ortega et al. - 1992
13   Constrained software generation for hardware-software system.. (context) - Gupta, De Micheli - 1994
12   Interface timing verification with application to synthesis - Walkup, Borriello - 1994
7   Specification of timing in a digital system (context) - Gladstone - 1993
4   System level hardware module generation (context) - Srivastava, Richards et al. - 1995
2   Interval scheduling: Fine-grained software scheduling for em.. (context) - Chou, Borriello - 1995
2   Programming Language Interface Reference Manual (context) - Systems - 1992
1   important factors in choosing a real-time development system (context) - Cathey, considered - 1993



The graph only includes citing articles where the year of publication is known.

Documents on the same site (http://bauhaus.cs.washington.edu/research/tr/tr-by-name.html):   More
Fast Median Filtering Algorithms for Mesh Computers - Tanimoto (1995)   (Correct)
A New Data Structure For Fast Approximate Matching - Berman (1994)   (Correct)
Privacy Interfaces for Information Management - Lau, Etzioni, Weld (1999)   (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