Transaction-based waveform analysis for IP selection

Authors:
Jian Liu;Eugene Shragowitz
Affiliations:
University of Minnesota, Minneapolis, Minnesota;University of Minnesota, Minneapolis, Minnesota
Venue:
ASP-DAC '03 Proceedings of the 2003 Asia and South Pacific Design Automation Conference
Year:
2003

Citing 5
Cited 0

Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
Automatic synthesis of interfaces between incompatible protocols

DAC '98 Proceedings of the 35th annual Design Automation Conference
Formal verification in hardware design: a survey

ACM Transactions on Design Automation of Electronic Systems (TODAES)
Specifying Transaction-Based Information Systems with Regular Expressions

IEEE Transactions on Software Engineering
Edit Distances for Genome Comparisons Based on Non-Local Operations

CPM '92 Proceedings of the Third Annual Symposium on Combinatorial Pattern Matching

Quantified Score

Hi-index	0.00

Visualization

Abstract

In a process of IP selection, it is necessary to establish whether a candidate IP is equivalent to a behavioral model of a design proposed by a customer. It is desirable to perform this verification to exclude IPs, which "don't match" the rest of the design. This work combines a simulation approach to establishing equivalence between models with formal regular expression techniques to provide transaction-level preliminary evaluation of IP suitability. Such evaluation could precede a decision to acquire IP.