CHRISTOPH KERN and MARK R. GREENSTREET Department of Computer Science,...  Home/Search
Context Related
Links: DBLP | cs.ubc.ca/~mrg/mypapers/todaes99.ps 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: cs.ubc.ca/~mrg/publ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper. Consider the controller of a (very abstract) traffic-light at a four-way intersection where the lights in opposing directions always show the same colour. Let C = fr; y; gg be the set of trafficlight colours. The state space of the controller can be modeled as S = C \Theta C, where the first (second) component denotes the colour of the lights in the northsouth (east-west) direction. Figure 1 shows the state-transition graph of the trafficlight controller. The corresponding... (Update)
Cited by: More
Operating Systems on SoCs: A good idea? - Engel, Kuz, Petters, Ruocco (Correct)
Models of Computation and Languages for Embedded System Design - Jantsch, Sander (2005) (Correct)
Program Slicing for ATPG-Based Property Checking - Vivekananda Vedula Texas (Correct)
Similar documents (at the sentence level):
65.2%: Copyright (C) 1998, 2000 by the Association for Computing.. - Permission To Make (Correct)
42.8%: Formal Verification In Hardware Design: A Survey - Kern, Greenstreet (1999) (Correct)
Similar documents based on text: More All
0.4: A Light-Weight Framework for Hardware Verification - Kern, Ono-Tesfaye, Greenstreet (Correct)
0.2: A Negative-Overhead, Self-Timed Pipeline - Brian Winters And (2002) (Correct)
0.2: Verifying a Self-Timed Divider - Ono-Tesfaye, Kern, Greenstreet (Correct)
Related documents from co-citation: More All
8: Model Checking - Clarke, Grumberg et al. - 1994
8: ATM Solutions for Enterprise Internetworking (context) - Ginsburg - 1996
7: Fairisle: An ATM Network for the Local Area (context) - Leslie, McAuley - 1991
BibTeX entry: (Update)
C. Kern and M. Greenstreet, "Formal Verification in Hardware Design: A Survey", ACM Transactions on Design Automation of E. Systems, Vol. 4, pp. 123-193, April 1999. http://citeseer.ist.psu.edu/kern99formal.html More
@article{ kern99formal,
author = "Christoph Kern and Mark R. Greenstreet",
title = "Formal verification in hardware design: a survey",
journal = "ACM Transactions on Design Automation of Electronic Systems.",
volume = "4",
number = "2",
pages = "123--193",
year = "1999",
url = "citeseer.ist.psu.edu/kern99formal.html" }
Citations (may not include all citations):1 Specifications and Verification Conditions (context) - the
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.ubc.ca/~mrg/publ.html): More
Verifying Safety Properties of Differential Equations - Greenstreet (1996) (Correct)
A fast, asP*, RGD arbiter - Greenstreet, Ono-Tesfaye (1999) (Correct)
Implementing a STARI Chip - Mark Greenstreet Department (1995) (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