A Petri Net Approach for the Analysis of VHDL Descriptions
Title | A Petri Net Approach for the Analysis of VHDL Descriptions |
Publication Type | Book Chapter |
Year of Publication | 1993 |
Authors | Olcoz, S, Colom JM |
Editor | Milne, GJ, Pierre L |
Book Title | Correct Hardware Design and Verification Methods |
Series Title | Lecture Notes in Computer Science |
Series Volume | 683 |
Pagination | 15-26 |
Publisher | Springer-Verlag |
City | Berlin |
ISBN Number | 3-540-56778-X |
Export |