|
Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design
|
Buy Now
Correct Hardware Design and Verification Methods - 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings (Paperback, 1999 ed.)
Loot Price: R1,657
Discovery Miles 16 570
|
|
|
Correct Hardware Design and Verification Methods - 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings (Paperback, 1999 ed.)
Series: Lecture Notes in Computer Science, 1703
Expected to ship within 10 - 15 working days
|
CHARME'99 is the tenth in a series of working conferences devoted
to the dev- opment and use of leading-edge formal techniques and
tools for the design and veri?cation of hardware and systems.
Previous conferences have been held in Darmstadt (1984), Edinburgh
(1985), Grenoble (1986), Glasgow (1988), Leuven (1989), Torino
(1991), Arles (1993), Frankfurt (1995) and Montreal (1997). This
workshop and conference series has been organized in cooperation
with IFIP WG 10. 5. It is now the biannual counterpart of FMCAD,
which takes place every even-numbered year in the USA. The 1999
event took place in Bad Her- nalb, a resort village located in the
Black Forest close to the city of Karlsruhe. The validation of
functional and timing behavior is a major bottleneck in current
VLSI design systems. A predominantly academic area of study until a
few years ago, formal design and veri?cation techniques are now
migrating into industrial use. The aim of CHARME'99 is to bring
together researchers and users from academia and industry working
in this active area of research. Two invited talks illustrate major
current trends: the presentation by Gerard Berry (Ecole des Mines
de Paris, Sophia-Antipolis, France) is concerned with the use of
synchronous languages in circuit design, and the talk given by
Peter Jansen (BMW, Munich, Germany) demonstrates an application of
formal methods in an industrial environment. The program also
includes 20 regular presentations and 12 short presentations/poster
exhibitions that have been selected from the 48 submitted papers."
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
