An SVA hardware monitor with off-line replay

Minwoo Nho; Xiaofang Zhou; Gerald E. Sobelman

doi:10.1109/ICSICT.2016.7998819

An SVA hardware monitor with off-line replay

Minwoo Nho, Xiaofang Zhou, Gerald E. Sobelman

Electrical and Computer Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

With the help of assertion based verification, engineers nowadays can check a digital design against its specification more easily and precisely. What's more, assertion descriptions can be synthesized into hardware, which makes post-fab on-line monitor possible. But most of the paper does not consider waveform capture and off-line replay features that can help engineers further analyze captured waveforms. In this paper, an assertion based hardware monitor with off-line replay is presented. Its SAV to RTL generator is described.

Original language	English (US)
Title of host publication	2016 13th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2016 - Proceedings
Editors	Yu-Long Jiang, Ting-Ao Tang, Ru Huang
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	1612-1614
Number of pages	3
ISBN (Electronic)	9781467397179
DOIs	https://doi.org/10.1109/ICSICT.2016.7998819
State	Published - 2016
Event	13th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2016 - Hangzhou, China Duration: Oct 25 2016 → Oct 28 2016

Publication series

Name	2016 13th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2016 - Proceedings

Other

Other	13th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2016
Country/Territory	China
City	Hangzhou
Period	10/25/16 → 10/28/16

Bibliographical note

Funding Information:
This paper is supported by the Samsun Electronics Co., Ltd., grant no. SLSI-201509DD003, and by the State Key Lab of ASIC and System, grant No. 2016GF010.

Publisher Copyright:
© 2016 IEEE.

Keywords

Assertion
Off-line replay
On-line Monitor
SVA Compiler

Publisher link

10.1109/ICSICT.2016.7998819

Find It

Find It at U of M Libraries

Cite this

Nho, M., Zhou, X., & Sobelman, G. E. (2016). An SVA hardware monitor with off-line replay. In Y-L. Jiang, T-A. Tang, & R. Huang (Eds.), 2016 13th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2016 - Proceedings (pp. 1612-1614). Article 7998819 (2016 13th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2016 - Proceedings). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ICSICT.2016.7998819

An SVA hardware monitor with off-line replay. / Nho, Minwoo; Zhou, Xiaofang; Sobelman, Gerald E.
2016 13th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2016 - Proceedings. ed. / Yu-Long Jiang; Ting-Ao Tang; Ru Huang. Institute of Electrical and Electronics Engineers Inc., 2016. p. 1612-1614 7998819 (2016 13th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2016 - Proceedings).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Nho, M, Zhou, X & Sobelman, GE 2016, An SVA hardware monitor with off-line replay. in Y-L Jiang, T-A Tang & R Huang (eds), 2016 13th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2016 - Proceedings., 7998819, 2016 13th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2016 - Proceedings, Institute of Electrical and Electronics Engineers Inc., pp. 1612-1614, 13th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2016, Hangzhou, China, 10/25/16. https://doi.org/10.1109/ICSICT.2016.7998819

Nho M, Zhou X, Sobelman GE. An SVA hardware monitor with off-line replay. In Jiang Y-L, Tang T-A, Huang R, editors, 2016 13th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2016 - Proceedings. Institute of Electrical and Electronics Engineers Inc. 2016. p. 1612-1614. 7998819. (2016 13th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2016 - Proceedings). doi: 10.1109/ICSICT.2016.7998819

Nho, Minwoo ; Zhou, Xiaofang ; Sobelman, Gerald E. / An SVA hardware monitor with off-line replay. 2016 13th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2016 - Proceedings. editor / Yu-Long Jiang ; Ting-Ao Tang ; Ru Huang. Institute of Electrical and Electronics Engineers Inc., 2016. pp. 1612-1614 (2016 13th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2016 - Proceedings).

@inproceedings{d9731e468f194cccac0aacd45ade308a,

title = "An SVA hardware monitor with off-line replay",

abstract = "With the help of assertion based verification, engineers nowadays can check a digital design against its specification more easily and precisely. What's more, assertion descriptions can be synthesized into hardware, which makes post-fab on-line monitor possible. But most of the paper does not consider waveform capture and off-line replay features that can help engineers further analyze captured waveforms. In this paper, an assertion based hardware monitor with off-line replay is presented. Its SAV to RTL generator is described.",

keywords = "Assertion, Off-line replay, On-line Monitor, SVA Compiler",

author = "Minwoo Nho and Xiaofang Zhou and Sobelman, {Gerald E.}",

note = "Funding Information: This paper is supported by the Samsun Electronics Co., Ltd., grant no. SLSI-201509DD003, and by the State Key Lab of ASIC and System, grant No. 2016GF010. Publisher Copyright: {\textcopyright} 2016 IEEE.; 13th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2016 ; Conference date: 25-10-2016 Through 28-10-2016",

year = "2016",

doi = "10.1109/ICSICT.2016.7998819",

language = "English (US)",

series = "2016 13th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2016 - Proceedings",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "1612--1614",

editor = "Yu-Long Jiang and Ting-Ao Tang and Ru Huang",

booktitle = "2016 13th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2016 - Proceedings",

}

TY - GEN

T1 - An SVA hardware monitor with off-line replay

AU - Nho, Minwoo

AU - Zhou, Xiaofang

AU - Sobelman, Gerald E.

N1 - Funding Information: This paper is supported by the Samsun Electronics Co., Ltd., grant no. SLSI-201509DD003, and by the State Key Lab of ASIC and System, grant No. 2016GF010. Publisher Copyright: © 2016 IEEE.

PY - 2016

Y1 - 2016

N2 - With the help of assertion based verification, engineers nowadays can check a digital design against its specification more easily and precisely. What's more, assertion descriptions can be synthesized into hardware, which makes post-fab on-line monitor possible. But most of the paper does not consider waveform capture and off-line replay features that can help engineers further analyze captured waveforms. In this paper, an assertion based hardware monitor with off-line replay is presented. Its SAV to RTL generator is described.

AB - With the help of assertion based verification, engineers nowadays can check a digital design against its specification more easily and precisely. What's more, assertion descriptions can be synthesized into hardware, which makes post-fab on-line monitor possible. But most of the paper does not consider waveform capture and off-line replay features that can help engineers further analyze captured waveforms. In this paper, an assertion based hardware monitor with off-line replay is presented. Its SAV to RTL generator is described.

KW - Assertion

KW - Off-line replay

KW - On-line Monitor

KW - SVA Compiler

UR - http://www.scopus.com/inward/record.url?scp=85028629816&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85028629816&partnerID=8YFLogxK

U2 - 10.1109/ICSICT.2016.7998819

DO - 10.1109/ICSICT.2016.7998819

M3 - Conference contribution

AN - SCOPUS:85028629816

T3 - 2016 13th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2016 - Proceedings

SP - 1612

EP - 1614

BT - 2016 13th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2016 - Proceedings

A2 - Jiang, Yu-Long

A2 - Tang, Ting-Ao

A2 - Huang, Ru

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 13th IEEE International Conference on Solid-State and Integrated Circuit Technology, ICSICT 2016

Y2 - 25 October 2016 through 28 October 2016

ER -

An SVA hardware monitor with off-line replay

Abstract

Publication series

Other

Bibliographical note

Keywords

Publisher link

Find It

Other files and links

Fingerprint

Cite this