Verification methodology manual Techniques for Verifying HDL Designs

Verification methodology manual Techniques for Verifying HDL Designs

Show other versions (1)

Bibliographic Details
Main Authors:	Dempster, David (Author), Stuart, Michael (Author)
Format:	Book
Language:	English
Published:	Hampshire Teamwork International 2001
Subjects:	Τεχνική αναφορά

Similar Items

Verification methodology manual Techniques for verifying HDL designs
by: Dempster, David, et al.
Published: (2002)

Electronic shops'Engineering methodology. CTI Technical Report TR 2000/04/02
Published: (2000)

Groups of Fragments Allocation Methodology [C.T.I. Technical Reports] TR. 89.06.87
by: Κατσιαφλιάνη, Βασιλική, et al.
Published: (1989)

On verifying game designs and playing strategies usinng reinforcement learning. CTI Technical Report TR 2000/08/01
Published: (2000)

Training Greek project managers in the use of methodologies C.T.I. Technical Report TR 92.06.11
by: Δήμος, Γ., et al.
Published: (1992)

An applicable methodology to automate software quality measurements C.T.I. Technical Report TR 94.08.42
by: Ξένος, Μιχάλης, et al.
Published: (1994)

ULTIVOX: An integrated methodology for developing Workflow applications. Technical Report CTI 97.11.40, 1.0
by: Καπαρος, Γεώργιος, et al.
Published: (1997)

Risk management and analysis methodology on systems engineering life cycle. CTI Technical Report TR 200/01/02
Published: (2000)

Manual for the Program Locality STL C.T.I. Technical Reports TR. 87.08.23
by: Γαροφαλάκης, Γιάννης, et al.
Published: (1987)

Results and experience from the application of a common methodology for Users Reguirements Specification in Distance Education using Telematics. [C.T.I. Technical Reports] TR. 96.10.36
by: Αντωνής, Κωνσταντίνος, et al.
Published: (1996)

Efficient decision tree induction with set-valued attributes.CTI Technical Report 99/03/01
Published: (1999)

A real-time auction system over the WWW CTI Technical Report 99.03.01
Published: (1999)

A new algorith for the transversal hypergraph problem. CTI TR 99/03/03
Published: (1999)

Measuring user's perception and opinion of software quality. CTI TR 99/03/04
Published: (1999)

A note on linear programs in (γ,κ)-form. CTI Technical Report 99/04/01
Published: (1999)

Fast parallel approximations to positive linear programs with a small number of constraint violations. CTI Technical Report 99/04/02
Published: (1999)

On the generation of spatiotemporal datasets. CTI Technical Report 99/04/03
Published: (1999)

(poly(loglogn), poly(loglogn))-restricted verifiers are unlikely to exist for languages in NP C.T.I. Technical Report TR. 96.1.2 C.T.I. Technical Report TR, 96.3.7
by: Σπυράκης, Παύλος Γ., et al.
Published: (1996)

FPGA implementation of a Protocol Decoder - LCD Driver for a Remotely Controlled Display System [Technical Report] CTI TR 95.10.33
by: Αθανασίου, Λεωνίδας, et al.
Published: (1995)

A Fast Spatiotemporal Technique for Adaptive Beamforming C.T.I. Technical Reports TR. 96.6.17
by: Μουστακίδης, Γεώργιος, et al.
Published: (1996)

Applying the "smoothing" technique of Achlioptas and Moore to the satisfiability problem CTI Technical Report Νο. TR 2002/12/02
by: ΔΑΒΡΑΖΟΣ, ΕΥΘΥΜΙΟΣ, et al.
Published: (2002)

State Space Partition Modelling. A New Approximation Technique [C.T.I. Technical Reports] TR 88.09.56
by: Γαροφαλάκης, Γιάννης, et al.
Published: (1988)

Coloring Random Graphs Efficiently in Parallel, through Adaptive Techniques. [C.T.I.] Technical Report TR 90.10.25
by: Ζαρολιάγκης, Χρήστος, et al.
Published: (1990)

Parallel Graph Decomposition Techniques with Applications to Shortest Paths Problems C.T.I. Technical Report TR 93.02.8
by: Ζαρολιάγκης, Χρήστος, et al.
Published: (1993)

Efficient Distributed Information Retrieval Techniques with the Vector Space Model. C.T.I. Technical Report TR. 97.3.16
by: Αντωνής, Κωνσταντίνος, et al.
Published: (1997)

Hammock-on-Ears Decomposition: A Technique for Parallel and On-line Path Problems C.T.I. Technical Report TR 93.05.22
by: Ζαρολιάγκης, Χρήστος, et al.
Published: (1993)

Designing the PELICAN-System C.T.I. Technical Report TR 94.02.7
by: Αυγερίδης, Κ., et al.
Published: (1994)

Diminished - 1 Modulo 2n + 1 Adder Design Technical Report TR 2001/02/02
by: Βέργος, Χαρίδημος Θ., et al.
Published: (2001)

Software Design Languages:an Evaluation of Current Status [C.T.I.] Technical Reports TR. 87.05.06
by: Κάλλιστρος, Βασίλειος, et al.
Published: (1987)

Prototype Environment for Teaching Program Design by Exercises [C.T.I.] Technical Report TR. 89.02.75
by: Comar, Cyrille, et al.
Published: (1989)

Design of a Forest Fire Management System C.T.I. Technical Report TR 92.03.5
by: Δεδούση, Ειρήνη, et al.
Published: (1992)

Modeling and design of a Virtual Authoring Environment C.T.I. Technical Report TR 93.04.17
by: Καμέας, Αχιλλέας, et al.
Published: (1993)

Efficient Fault Tolerant Cache Memory Design C.T.I. Technical Report TR 94.12.59
by: Βέργος, Χαρίδημος Θ., et al.
Published: (1994)

Exploring the Cache Design Space in a Multithreaded Processor [Technical Report] CTI tr 95.10.34
by: Λιούπης, Δημήτρης, et al.
Published: (1995)

Using Attribute Grammars as a Specification and Design Tool [C.T.I.] Technical Reports TR. 87.05.05
by: Καρούσου, Βίκυ, et al.
Published: (1987)

Design Proposal for a Language Independent Programming Environment C.T.I. Technical Report TR 88.02.45
by: Πιντέλας, Παναγιώτης Ε., et al.
Published: (1988)

Object-Oriented Distributed Systems Design Based on Temporal Logic C.T.I. Technical Report TR 91.03.06
by: Keulen van, E., et al.
Published: (1991)

Design principles for the implementation and functional integration of regional healthcare virtual private networks CTI Technical Report 2001/12/01
by: Λάμψας, Π., et al.
Published: (2001)

The SCAN Generator, a Tool for Sequential Image Preprocessing-Design and Implementation C.T.I. Technical Report TR 92.05.10
by: Αλεξόπουλος, Χρήστος, et al.
Published: (1992)

Programming to Explore Geometrical and Physics.Concepts: Learning Processes and Microworld Design C.T.I. Technical Report TR 94.06.35
by: Γεωργιάδης, Παναγιώτης, et al.
Published: (1994)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_fjflgljcbd30ps3hreso4vhq12