Sunil P. Khatri () Amit Narayan...  Home/Search
Context
Related
| berkeley.edu/techreports...ERL9550.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: berkeley.edu/accessPa...ERL9550 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, we address the problem of Engineering Change in a non-deterministic finite state machine framework. We are given a deterministic implementation FSM, and a non-deterministic specification FSM, such that the implementation does not meet the specification. The problem consists of controlling the implementation FSM in such a way that for all possible sequences of external inputs, the generated outputs are allowed in the specification. (Update)
Active bibliography (related documents): More All
0.4: Supervisory Control of Finite State Machines - Aziz Balarin (1995) (Correct)
0.3: Design of Embedded Systems: Formal Models.. - Edwards, Lavagno.. (1997) (Correct)
0.2: Fault-Simulation Based Design Error Diagnosis for.. - Huang, Cheng, Chen, al. (1998) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@techreport{ khatri99engineering,
author = "S. P. Khatri and A. Narayan and S. C. Krishnan and K. L. McMillan and A. Sangiovanni-Vincentelli and R. K. Brayton",
title = "An Engineering Change Methodology Using Simulation Relations.",
number = "ERL-95-50",
month = "19,",
pages = "16",
year = "1999",
url = "citeseer.ist.psu.edu/736240.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
1726 Graph-based Algorithms for Boolean Function Manipulation - Bryant - 1986
372 SIS: A System for Sequential Circuit Synthesis - Sentovich, Singh et al. - 1992
316 Efficient Implementation of a BDD Package (context) - Brace, Rudell et al. - 1990
106 Implicit state enumeration of finite state machines using bd.. (context) - Touati, Savoj et al. - 1991
17 Kluwer Academic Publishers (context) - McMillan, Checking - 1993
16 The Maximum Set of Permissible Behaviors for FSM Networks (context) - Watanabe, Brayton - 1993
9 Model Matching for Finite State Machines (context) - DiBenedetto, Saldanha et al. - 1994
5 Methods for automatic design error correction in sequential .. (context) - Fujita - 1993
3 Strong Model Matching for Finite State Machines (context) - DiBenedetto, Saldanha et al. - 1994
1 A Redesign Technique for Combinational Circuits based on Gat.. - Kukimoto, Fujita et al. - 1994
1 Controlled Stachastic Languages (context) - Mortazavian - 1993
1 Infinite Behavior of Discrete-Event Systems (context) - Thistle, Wonham - 1987
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