Partha S. Roop, A. Sowmya, S. Ramesh  Home/Search
Context Related
| unsw.edu.au/pub/doc/papers/...9901.ps.Z 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: unsw.edu.au/school/research/tr (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Embedded systems are application-specific digital systems which are normally designed using a microprocessor along with a set of programmable hardware and software components. Component-based synthesis of these systems will lead to the reuse of a vast library of hardware and software components and also facilitate rapid prototyping. However component based synthesis is still low key, a primary reason being the lack of any systematic attempt at the development of automatic component... (Update)
Context of citations to this paper: More
...not being 0 1 2 3 F a b c 0 1 2 3 4 5 6 7 8 9 10 11 D: a c d a b d e c i1 d c Figure 1. 1: simple example presented for lack of space [15]. However, all techniques presented in this paper have been developed for the bu ered interface in parallel. The paper is organized as...
Cited by: More
Forced Simulation and Lock-Step Interface: A Formal Approach.. - Roop, Ramesh (Correct)
Similar documents (at the sentence level):
7.3%: A Formal Approach to Component Based Development of.. - Roop, Sowmya, Ramesh (2000) (Correct)
Active bibliography (related documents): More All
0.4: Hidden Time Model for Specification and Verification of.. - Roop, Sowmya (1998) (Correct)
0.3: Functional Decomposition of Composite Finite State Machines - Roop, Sowmya (Correct)
0.2: An Adaptable Environment for Improved High-Level Synthesis - Öberg (1996) (Correct)
Similar documents based on text: More All
3.7: Forced Simulation: A Formal Approach to Component-Based.. - Roop, Sowmya, Ramesh (1999) (Correct)
1.0: An Efficient IP Matching Tool using Forced Simulation - Roop, Sowmya, Ramesh, Guo (Correct)
0.8: Forced Simulation: A Technique for Automating Component.. - Roop, Sowmya, Ramesh (Correct)
BibTeX entry: (Update)
P. S. Roop, A. Sowmya, and S. Ramesh. Forced simulation: a formal approach to component-based synthesis. Technical Report UNSWCSE -TR-9901, School of CSE, University of New South Wales, March 1999. http://citeseer.ist.psu.edu/article/roop99forced.html More
@misc{ roop99forced,
author = "P. Roop and A. Sowmya and S. Ramesh",
title = "Forced simulation: a formal approach to component-based synthesis",
text = "P. S. Roop, A. Sowmya, and S. Ramesh. Forced simulation: a formal approach
to component-based synthesis. Technical Report UNSWCSE -TR-9901, School
of CSE, University of New South Wales, March 1999.",
year = "1999",
url = "citeseer.ist.psu.edu/article/roop99forced.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985
447 Prentice Hall International (context) - Milner, Concurrency - 1989
274 The existence of refinement mappings - Abadi, Lamport - 1991
208 An axiomatic proof technique for parallel programs (context) - Owicki, Gries - 1976
136 Information and Computation (context) - Kanellakis, Smolka et al. - 1990
134 The Verilog Hardware Description Language (context) - Thomas, Moorby - 1991
95 Forward and backward simulations part i: Untimed systems - Lynch, Vaandrager - 1995
82 Co-Synthesis of Hardware and Software for Digital Embedded S.. (context) - Gupta - 1993
57 Proof-checking a data link protocol - Helmink, Sellink et al. - 1993
42 Interface co-synthesis techniques for embedded systems (context) - Chou, Ortega et al. - 1995
30 A new interface specification methodology and its applicatio.. (context) - Borriello - 1988
25 Interfacing incompatible protocols using interface process g.. (context) - Narayan, Gajski - 1995
23 Emergence of distributed component platforms (context) - Krieger, Adler - 1998
16 software interface in microcontroller based systems (context) - Chou, Ortega et al. - 1992
16 Normed simulations - Griffioen, Vaandrager - 1998
10 Component-based design of large distributed real-time system.. - Kopetz - 1997
9 A new algorithm for implementation of design functions by av.. (context) - Mitra, Roop et al. - 1996
8 Verifying pipelined microprocessors - Windley - 1995
7 High-level library mapping for arithmetic components - Jha, Dutt - 1996
6 Foundations of compositional program refinement-safety prope.. (context) - Gerth - 1989
5 Interface synthesis for embedded applications in a co-design.. - Basu, Mitra et al. - 1998
5 An overview of mickey - a knowledge based hardware-software .. (context) - Mitra, Roop et al. - 1996
3 A system level communication approach for hardware/software .. (context) - Ismail, Daveau et al. - 1996
3 Hidden time model for specification and verification of embe.. - Roop, Sowmya - 1998
2 Output performance modelling and Interface Synthesis in conc.. (context) - Akella - 1991
Documents on the same site (http://www.cse.unsw.edu.au/school/research/tr.html): More
Medium Access Control for Synchronous Traffic in the AMNET LAN - Goodall, Burston (Correct)
A Parallel Approach to High-Speed Protocol Processing - Chan, Gorton (1994) (Correct)
The Mungi Kernel API, Release 1.0 - Gernot Heiser (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