Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
ACSD
2003
IEEE
105views Hardware» more  ACSD 2003»
11 years 5 months ago
Detecting State Coding Conflicts in STG Unfoldings Using SAT
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...
Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
ACSD
2003
IEEE
102views Hardware» more  ACSD 2003»
11 years 5 months ago
Specification Coverage Aided Test Selection
In this paper test selection strategies in formal conformance testing are considered. As the testing conformance relation we use the ioco relation, and extend the previously prese...
Tuomo Pyhälä, Keijo Heljanko
ACSD
2003
IEEE
104views Hardware» more  ACSD 2003»
11 years 5 months ago
A Framework for the Development of Protocols
We present the -Spaces framework, a tool designed to support every step of a security protocol's life cycle. Its Integrated Development Environment (IDE) eases the task of pr...
Federico Crazzolara, Giuseppe Milicia
ACSD
2003
IEEE
84views Hardware» more  ACSD 2003»
11 years 7 months ago
Merging State-Based and Action-Based Verification
Henri Hansen, Heikki Virtanen, Antti Valmari
ACSD
2003
IEEE
116views Hardware» more  ACSD 2003»
11 years 7 months ago
CAST - A Task-Level Concurrency Analysis Tool
Sander Stuijk, Twan Basten, Jan Ypma
ACSD
2003
IEEE
91views Hardware» more  ACSD 2003»
11 years 7 months ago
A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs
Signal Transition Graphs (STGs) are one of the most popular models for the specification of asynchronous circuits. A STG can be implemented if it admits a so-called consistent an...
Javier Esparza
ACSD
2003
IEEE
151views Hardware» more  ACSD 2003»
11 years 7 months ago
Communicating Transaction Processes
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
Abhik Roychoudhury, P. S. Thiagarajan
ACSD
2003
IEEE
117views Hardware» more  ACSD 2003»
11 years 7 months ago
AutoFOCUS and the MoDe Tool
Jan Romberg, Jan Jürjens, Guido Wimmel, Oscar...
ACSD
2003
IEEE
95views Hardware» more  ACSD 2003»
11 years 7 months ago
Quasi-Static Scheduling for Concurrent Architectures
This paper presents a synthesis approach for reactive systems that aims at minimizing the overhead introduced by the operating system and the interaction among the concurrent task...
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno...
ACSD
2003
IEEE
159views Hardware» more  ACSD 2003»
11 years 7 months ago
Case Studies of Model Checking for Embedded System Designs
As modern embedded systems become more integrated and complex, it is crucial to be able to represent systems ple levels of abstraction, so that the design space can be effectively...
Xi Chen, Harry Hsieh, Felice Balarin, Yosinori Wat...
books