2607 search results - page 12 / 522 » On the Architecture of System Verification Environments |
HICSS
2003
IEEE
14 years 19 days ago
2003
IEEE
CSREAESA
2004
13 years 8 months ago
2004
In this paper we present an algorithm for automatic extraction of system behavior from a structural Verilog specification. The algorithm generates a series-parallel poset expressi...
ENTCS
2008
13 years 7 months ago
2008
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
DAC
2001
ACM
14 years 8 months ago
2001
ACM
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...
MOBICOM
2006
ACM
14 years 1 months ago
2006
ACM
In this paper, we present our Advanced TCP Evaluation Testbed on Mixed Wired Internet and Satellite Environments. Categories and Subject Descriptors C.2.2 [Network Protocols]:–A...