Article

Improved Symoblic Simulation by Dynamic Funtional Space Partitioning

Authors:

Tao Feng,

Li-C. Wang,

Kwang-Ting Cheng,

Andy C-C. LinAuthors Info & Claims

DATE '04: Proceedings of the conference on Design, automation and test in Europe - Volume 1

Page 10042

Published: 16 February 2004 Publication History

Get Access

Abstract

In this paper, we provide a flexible and automatic method to partition the functional space for efficient symbolic simulation. We utilize a 2-tuple list representation as the basis for partitioning the functional space. The partitioning is carried out dynamically during the symbolic simulation based on the sizes of OBDDs. We develop heuristics for choosing the optimal partitioning points. These heuristics intend to balance the tradeoff between the time and space complexity. We demonstrate the effectiveness of our new symbolic simulation approach through experiments based on a floating point adder and a memory management unit.

References

[1]

{1} R. E. Bryant. Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams. ACM Computing Surveys, 24(3):293-318, 1992.

Digital Library

Google Scholar

[2]

{2} Alan. J. Hu. Formal hardware verification with BDDs: An introduction. IEEE Pacific Rim Conference on Communications, Computers and Signal Processing, 1997.

Crossref

Google Scholar

[3]

{3} Mark D. Aagaard, Robert B. Jones, Carl-Johan H. Seger. Formal Verification Using Parametric Representations of Boolean Constraints. In 36th ACM/IEEE Design Automation Conference, 1999.

Digital Library

Google Scholar

[4]

{4} Amit Narayan, Jawahar Jain, Fujita, Sangiovanni. Paritioned ROBDDs - A Compact, Canonical and Efficiently Manipulable Representation for Boolean Functions. In ACM/IEEE Int. Conference on Computer-Aided Design, 1996.

Digital Library

Google Scholar

[5]

{5} R. E. Bryant. On the Complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication. In IEEE Trans. on Computer, 1991.

Digital Library

Google Scholar

[6]

{6} T. Feng, Li-C. Wang, Kwang-Ting Cheng Improved Symbolic Simulation By Functional Space Decomposition. In Asia and South Pacific Design Automation Conference, 2004.

Digital Library

Google Scholar

[7]

{7} K. C. Chang. Digital Systems Design with VHDL and Synthesis, An integrated approach. In IEEE computer society press, 1999.

Digital Library

Google Scholar

[8]

{8} T. Feng, Li-C. Wang, Kwang-Ting Cheng etc Enhanced Symbolic Simulation for Efficient Verification of Embedded Array Systems. In Asia and South Pacific Design Automation Conference, 2003.

Digital Library

Google Scholar

[9]

{9} Yirng-An Chen, Randal E. Bryant Verification of Floating Point Adders In Proceeding of International Conference of Computer Aided Verification, 1998.

Digital Library

Google Scholar

[10]

{10} D. J. Smith Practical Modeling Examples - HDL Chip Design In Doone Publications, Chapter 12, 1996.

Google Scholar

Index Terms

Improved Symoblic Simulation by Dynamic Funtional Space Partitioning

Recommendations

Corolla partitioning for distributed logic simulation of VLSI-circuits

Time Warp has evolved to a common technique for distributed simulation. Speedup in Time Warp simulation systems mainly depends on two overhead factors: first, the load on the simulators has to be well balanced and second, communication and rollbacks ...
Corolla partitioning for distributed logic simulation of VLSI-circuits
PADS '93: Proceedings of the seventh workshop on Parallel and distributed simulation

Time Warp has evolved to a common technique for distributed simulation. Speedup in Time Warp simulation systems mainly depends on two overhead factors: first, the load on the simulators has to be well balanced and second, communication and rollbacks ...
Image compression using binary space partitioning trees

For low bit-rate compression applications, segmentation-based coding methods provide, in general, high compression ratios when compared with traditional (e.g., transform and subband) coding approaches. In this paper, we present a new segmentation-based ...

Comments

Information & Contributors

Information

Published In

DATE '04: Proceedings of the conference on Design, automation and test in Europe - Volume 1

February 2004

688 pages

ISBN:0769520855

Publisher

IEEE Computer Society

United States

Publication History

Published: 16 February 2004

Check for updates

Qualifiers

Article

Conference

DATE04

Sponsor:

SIGDA

DATE04: Design, Automation and Test in Europe 2004

February 16 - 20, 2004

Acceptance Rates

Overall Acceptance Rate 518 of 1,794 submissions, 29%

Upcoming Conference

DATE '25

Sponsor:
sigda

Design, Automation and Test in Europe

March 31 - April 2, 2025

Lyon , France

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

0
Total Citations
58
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Jan 2025

Other Metrics

View Author Metrics

Citations

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Index Terms

Recommendations

Corolla partitioning for distributed logic simulation of VLSI-circuits

Corolla partitioning for distributed logic simulation of VLSI-circuits

Image compression using binary space partitioning trees

Comments

Published In

Sponsors

Publisher

Publication History

Check for updates

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Login options

Full Access

PDF

eReader

Abstract

References

Index Terms

Recommendations

Corolla partitioning for distributed logic simulation of VLSI-circuits

Corolla partitioning for distributed logic simulation of VLSI-circuits

Image compression using binary space partitioning trees

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations