Can I read A Practical Introduction to PSL (Series on Integrated Circuits and Systems) on EtoBox?

A Practical Introduction to PSL (Series on Integrated Circuits and Systems) by Cindy Eisner; Dana Fisman is a nonfiction available to read on EtoBox.

What is A Practical Introduction to PSL (Series on Integrated Circuits and Systems) about?

Functional veri?cation is hard. Period. No disagreement here. But why is this so? Consider today's design?ow: much of it is more or less automated, from RTL to netlist to layout to silicon. But all this automation depends upon having correct RTL input to start with, and there is little or no automation to help with RTL creation. It is hard enough for a designer to decide what RTL model he wants to build, and then to describe that RTL model correctly in a hardware description language. It is even more di?cult for a veri?cation engineer, who can't read the designer's mind, to verify that what the designer created not only represents the RTL model he had conceived, but also that the RTL model is an appropriate one for the problem at hand. What makes RTL modeling and veri?cation di?cult is concurrency. It is easy to teach an engineer how to write procedural code that conforms to the synthesizable subset of a hardware description language. What is hard is understanding how the engineer's procedural code interacts with other c- ponents in the design over time. In fact, until recently we lacked e?ective languages to describe concurrent behaviors. The IEEE 1850 Property Speci?cation Langua

Who reads A Practical Introduction to PSL (Series on Integrated Circuits and Systems)?

Author

Cindy Eisner; Dana Fisman

Publisher

New York: Springer

Published

2006

Language

EN

ISBN

9781489985842

Category

nonfiction

Subjects

Computer Science, Engineering, Programming