By Gérard Berry (auth.), Laurence Pierre, Thomas Kropf (eds.)

CHARME’99 is the 10th in a sequence of operating meetings dedicated to the dev- opment and use of modern formal suggestions and instruments for the layout and veri?cation of and structures. prior meetings were held in Darmstadt (1984), Edinburgh (1985), Grenoble (1986), Glasgow (1988), Leuven (1989), Torino (1991), Arles (1993), Frankfurt (1995) and Montreal (1997). This workshop and convention sequence has been equipped in cooperation with IFIP WG 10. five. it truly is now the biannual counterpart of FMCAD, which happens each even-numbered yr within the united states. The 1999 occasion came about in undesirable Her- nalb, a lodge village positioned within the Black wooded area with regards to the town of Karlsruhe. The validation of useful and timing habit is an incredible bottleneck in present VLSI layout platforms. A predominantly educational zone of analysis until eventually many years in the past, formal layout and veri?cation thoughts are actually migrating into commercial use. the purpose of CHARME’99 is to collect researchers and clients from academia and operating during this energetic region of analysis. invited talks illustrate significant present traits: the presentation by means of G´erard Berry (Ecole des Mines de Paris, Sophia-Antipolis, France) is anxious with using synchronous languages in circuit layout, and the debate given through Peter Jansen (BMW, Munich, Germany) demonstrates an program of formal tools in an commercial surroundings. this system additionally comprises 20 ordinary displays and 12 brief presentations/poster exhibitions which have been chosen from the forty eight submitted papers.

Show description

Read Online or Download Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings PDF

Best design books

Optimum Design of Structures: With Special Reference to Alternative Loads Using Geometric Programming

This e-book offers the built-in process of study and optimum layout of constructions. This process, that's less complicated than the so-called nested strategy, has the trouble of producing a wide optimization challenge. to beat this challenge a technique of decomposition through multilevel is constructed.

Surface Plasmon Resonance Sensors: A Materials Guide to Design and Optimization

This booklet addresses the $64000 actual phenomenon of floor Plasmon Resonance or floor Plasmon Polaritons in skinny steel movies, a phenomenon that is exploited within the layout of a giant number of physico-chemical optical sensors. during this therapy, an important fabrics elements for layout and optimization of SPR sensors are investigated and defined intimately.

Multifunctional Polymeric Nanocomposites Based on Cellulosic Reinforcements

Multifunctional Polymeric Nanocomposites in accordance with Cellulosic Reinforcements introduces the cutting edge purposes of polymeric fabrics in response to nanocellulose, and covers extraction equipment, functionalization techniques, and meeting ways to let those purposes. The booklet offers the cutting-edge of this novel nano-filler and the way it allows new purposes in lots of diverse sectors, past current items.

Extra resources for Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings

Example text

23 25. Tim Lindholm and Frank Yellin. The Java Virtual Machine Specification. Addison Wesley, 1997. 33 26. Ken McMillan. Verification of an implementation of Tomasulo’s algorithm by compositional model checking. In International Conference on Computer-Aided Verification, Vancouver, Canada, July 1998. 32, 34 27. R. Milner. An algebraic definition of simulation between programs. In Proceedings of 2nd International Joint Conference on Artificial Intelligence, The British Computer Society, 1971. 30 36 Byron Cook et al.

Formal verification of out-of-order execution using incremental flushing. In International Conference on ComputerAided Verification, Vancouver, Canada, July 1998. 33 34. Peter Song. Demystifying EPIC and IA-64. Microprocessor Report, 12(1), 1998. 23, 24 35. W. Stark. A proof technique for rely/guarantee properties. In Proceedings of the 5th Conference on Foundations of Software Technology and Theoretical Computer Science, August 1985. 32 36. Karen Stephenson. Towards an algebraic specification of the Java virtual machine.

AMD deploys K6-2 with 3DNow. Microprocessor Report, 12(7), 1998. 24 15. Linley Gwennap. Intel outlines high-end roadmap. Microprocessor Report, 12(14), 1998. 23 16. John L. Hennessy and David A. Patterson. Computer Architecture: A Quantitative Approach. Morgan Kaufmann, 1995. 29, 31 17. Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, and Serdar Tasiran. An assume-guarantee rule for checking simulation. In Formal Methods in ComputerAided Design, Palo Alto, California, 1998. 32 18. Richard C.

Download PDF sample

Rated 4.98 of 5 – based on 22 votes