Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

ITC
1998
IEEE

favoriteEmaildiscussreport

126views Hardware» more ITC 1998»

A comprehensive approach to the partial scan problem using implicit state enumeration

13 years 8 months ago

A comprehensive approach to the partial scan problem using implicit state enumeration

Download www.ecs.umass.edu

This paper presents a novel technique to evaluate the noncontrollability measures of state registers for partial scan design. Our model uses implicit techniques for finite state machine (FSM) traversal to identify noncontrollable state registers. By implicitly enumerating the states of a machine, we accurately evaluate the noncontrollability of flip

Priyank Kalla, Maciej J. Ciesielski

Real-time Traffic

FSM Traversal | Hardware | Implicit Fsm Traversal | ITC 1998 | State Registers |

claim paper

Related Content

» Implicit pseudo boolean enumeration algorithms for input vector control

» A Partial Order Approach to Discrete Dynamic Feedback in a Class of Hybrid Systems

» Explaining by Example Model Exploration for Ontology Comprehension

» LP Deadlock Checking Using Partial Order Dependencies

» Exact and Approximate Methods for Calculating Signal and Transition Probabilities in FSMs

» Complexity of Probabilistic Planning under Average Rewards

» Introducing Communication in DisPOMDPs with Finite State Machines

» An intruder model with message inspection for model checking security protocols

» Estimating Human Pose from Occluded Images

Post Info
More Details (n/a)

Added	25 Aug 2010
Updated	25 Aug 2010
Type	Conference
Year	1998
Where	ITC
Authors	Priyank Kalla, Maciej J. Ciesielski

Comments (0)