X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Book
    Book
    Formal methods in computer aided design : 4th international conference, FMCAD 2002, Portland, OR, USA, November 6 - 8, 2002 ; proceedings (2002)
    Berlin [u.a.] : Springer
    Details
    UID:
    b3kat_BV014811656
    Format: XI, 398 S.
    ISBN: 3540001166
    Series Statement: Lecture notes in computer science 2517
    Note: Literaturangaben
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: CAD ; Formale Methode ; CAD ; Model Checking ; Konferenzschrift ; Kongress ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift
    URL: Inhaltsverzeichnis
    URL: Kapitel 1
    URL: Cover
    URL: Inhaltstext
    URL: http://www.loc.gov/catdir/enhancements/fy0817/2002036593-d.html
    Author information: Aagaard, Mark 1966-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    UB Potsdam get availability status
    Berlin VÖBB/ZLB get availability status
    TU Berlin get availability status
  • 2
    Online Resource
    Online Resource
    Formal Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings (2002)
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    Details
    UID:
    almahu_9947920584502882
    Format: XII, 408 p. , online resource.
    ISBN: 9783540361268
    Series Statement: Lecture Notes in Computer Science, 2517
    Content: This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri?cation has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2.
    Note: Abstraction -- Abstraction by Symbolic Indexing Transformations -- Counter-Example Based Predicate Discovery in Predicate Abstraction -- Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis -- Symbolic Simulation -- Simplifying Circuits for Formal Verification Using Parametric Representation -- Generalized Symbolic Trajectory Evaluation — Abstraction in Action -- Model Checking: Strongly-Connected Components -- Analysis of Symbolic SCC Hull Algorithms -- Sharp Disjunctive Decomposition for Language Emptiness Checking -- Microprocessor Specification and Verification -- Relating Multi-step and Single-Step Microprocessor Correctness Statements -- Modeling and Verification of Out-of-Order Microprocessors in UCLID -- Decision Procedures -- On Solving Presburger and Linear Arithmetic with SAT -- Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods -- Qubos: Deciding Quantified Boolean Logic Using Propositional Satisfiability Solvers -- Model Checking: Reachability Analysis -- Exploiting Transition Locality in the Disk Based Mur? Verifier -- Traversal Techniques for Concurrent Systems -- Model Checking: Fixed Points -- A Fixpoint Based Encoding for Bounded Model Checking -- Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths -- Verification Techniques and Methodology -- Mechanical Verification of a Square Root Algorithm Using Taylor’s Theorem -- A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols -- Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMV -- Hardware Description Languages -- Functional Design Using Behavioural and Structural Components -- Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries -- Prototyping and Synthesis -- Input/Output Compatibility of Reactive Systems -- Smart Play-out of Behavioral Requirements.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540001164
    Language: English
    DOI: 10.1007/3-540-36126-X
    URL: http://dx.doi.org/10.1007/3-540-36126-X
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 3
    Online Resource
    Online Resource
    Formal Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings (2002)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621357002882
    Format: XII, 408 p. , online resource.
    Edition: 1st ed. 2002.
    ISBN: 9783540361268
    Series Statement: Lecture Notes in Computer Science, 2517
    Content: This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analysis of digital hardware c- cuits and systems. The workreported in this bookdescribes the use of formal mathematics and associated tools to design and verify digital hardware systems. Functional veri?cation has become one of the principal costs in a modern computer design e?ort. FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation. Over the past 20 years, this area has grown from just a few academic researchers to a vibrant worldwide com- nity of people from both academia and industry. This volume includes 23 papers selected from the 47 submitted papers, each of which was reviewed by at least three program committee members. The history of FMCAD dates backto 1984, when the earliest meetings on this topic occurred as part of IFIP WG10.2.
    Note: Abstraction -- Abstraction by Symbolic Indexing Transformations -- Counter-Example Based Predicate Discovery in Predicate Abstraction -- Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis -- Symbolic Simulation -- Simplifying Circuits for Formal Verification Using Parametric Representation -- Generalized Symbolic Trajectory Evaluation - Abstraction in Action -- Model Checking: Strongly-Connected Components -- Analysis of Symbolic SCC Hull Algorithms -- Sharp Disjunctive Decomposition for Language Emptiness Checking -- Microprocessor Specification and Verification -- Relating Multi-step and Single-Step Microprocessor Correctness Statements -- Modeling and Verification of Out-of-Order Microprocessors in UCLID -- Decision Procedures -- On Solving Presburger and Linear Arithmetic with SAT -- Deciding Presburger Arithmetic by Model Checking and Comparisons with Other Methods -- Qubos: Deciding Quantified Boolean Logic Using Propositional Satisfiability Solvers -- Model Checking: Reachability Analysis -- Exploiting Transition Locality in the Disk Based Mur? Verifier -- Traversal Techniques for Concurrent Systems -- Model Checking: Fixed Points -- A Fixpoint Based Encoding for Bounded Model Checking -- Using Edge-Valued Decision Diagrams for Symbolic Generation of Shortest Paths -- Verification Techniques and Methodology -- Mechanical Verification of a Square Root Algorithm Using Taylor's Theorem -- A Specification and Verification Framework for Developing Weak Shared Memory Consistency Protocols -- Model Checking the Design of an Unrestricted, Stuck-at Fault Tolerant, Asynchronous Sequential Circuit Using SMV -- Hardware Description Languages -- Functional Design Using Behavioural and Structural Components -- Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries -- Prototyping and Synthesis -- Input/Output Compatibility of Reactive Systems -- Smart Play-out of Behavioral Requirements.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662198865
    Additional Edition: Printed edition: ISBN 9783540001164
    Language: English
    DOI: 10.1007/3-540-36126-X
    URL: https://doi.org/10.1007/3-540-36126-X
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 4
    Online Resource
    Online Resource
    Formal Methods in Computer-Aided Design : 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings (2002)
    Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg
    Details
    UID:
    gbv_1649187254
    Format: Online-Ressource
    ISBN: 9783540361268 , 3540001166
    Series Statement: Lecture Notes in Computer Science 2517
    Content: This book constitutes the refereed proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2002, held in Portland, OR, USA in November 2002. The 23 revised full papers presented were carefully reviewed and selected from 47 submissions. The book offers topial sections on abstraction, symbolic simulation, model checking, microprocessor specification and verification, decision procedures, verification techniques and methodology, hardware description languages, and prototyping and synthesis
    Additional Edition: ISBN 9783540001164
    Additional Edition: Buchausg. u.d.T. Formal methods in computer-aided design Berlin : Springer, 2002 ISBN 3540001166
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: CAD ; Formale Methode ; CAD ; Model Checking ; Formale Methode ; CAD ; Verifikation ; Konferenzschrift ; Konferenzschrift
    DOI: 10.1007/3-540-36126-X
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    URL: Inhaltsverzeichnis
    URL: Kapitel 1
    URL: Inhaltstext
    URL: Inhaltsverzeichnis
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    UB Potsdam
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Did you mean 9783540001614?
Did you mean 9783540001065?
Did you mean 9783540001102?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages