On Assertion-Based Verification for Hardware Debugging

On Assertion-Based Verification for Hardware Debugging

碩士 === 國立中央大學 === 電機工程研究所 === 93 === none

Bibliographic Details
Main Authors:	Tsung-Chih Tsai, 蔡宗智
Other Authors:	Chien-Nan Liu
Format:	Others
Language:	zh-TW
Published:	2005
Online Access:	http://ndltd.ncl.edu.tw/handle/29159758117601481018

Similar Items

On Debugging Assistance in Assertion-Based Verification
by: Bao-Ren Huang, et al.
Published: (2004)

Assertion-checker synthesis for hardware verification, in-circuit debugging and on-line monitoring
by: Boulé, Marc
Published: (2008)

High-Level Synthesis of In-Circuit Assertions for Verification, Debugging, and Timing Analysis
by: John Curreri, et al.
Published: (2011-01-01)

Assertion based debugging and monitoring of distributed systems
by: Kallankara, Vivek
Published: (2011)

An Assertion-Based Dynamic Formal Verification Methodology for Hardware Systems
by: Chan-Chi Wu, et al.
Published: (2004)

Optimizing assertions in semi-formal assertion- based verification
by: Sarraf, Danny
Published: (2013)

Design and implementation of embedded hardware accelerator for diagnosing HDL-CODE in assertion-based verification environment
by: C. U. Ngene
Published: (2013-08-01)

Rewriting-based Verification and Debugging of Web Systems
by: Romero ., Daniel Omar
Published: (2011)

Assertion Based Verification on Senior DSP
by: Lepenica, Nermin
Published: (2011)

Runtime Verification and Debugging of Concurrent Software
by: Zhang, Lu
Published: (2016)

Integrating Symbolic Execution, Debugging and Verification
by: Hentschel, Martin
Published: (2016)

System Level Assertion-Based Verification Environment for PCI/PCI-X and PCI-Express
by: Chien-Chih Yu, et al.
Published: (2004)

Assertion-based verification of look aside interface
by: Ahmed, Asif Iqbal
Published: (2005)

Dynamic Assertion-Based Verification for SystemC
Published: (2013)

Assertion-Based Verification under Verilog Environment
by: Wei-ting Tu, et al.
Published: (2003)

On Reducing Storage Data in the Snapshot Method for Hardware Debugging
by: Wei-Hsiang Cheng, et al.
Published: (2005)

VERIFICATION AND DEBUG TECHNIQUES FOR INTEGRATED CIRCUIT DESIGNS
by: Crutchfield, David Allen
Published: (2009)

Hardware assisted memory checkpointing and applications in debugging and reliability
by: Doudalis, Ioannis
Published: (2012)

HARDWARE/SOFTWARE CO-DEBUGGING FOR RECONFIGURABLE COMPUTING APPLICATIONS
by: TIWARI, ANURAG
Published: (2002)

Hardware-based temporal logic checkers for the debugging of digital integrated circuits
by: Chenard, Jean-Samuel
Published: (2012)

The Kernel Debugging
by: Tsai Horng Linn, et al.
Published: (1994)

Low-cost assertion-based fault tolerance in hardware and software
by: Vemu, Ramtilak, 1981-
Published: (2012)

High Level Debugging Techniques for Modern Verification Flows
by: Poulos, Zissis Paraskevas
Published: (2014)

Enhancing silicon debug techniques via DFD hardware insertion
by: Yang, Joon Sung
Published: (2009)

FAE: Autoencoder-Based Failure Binning of RTL Designs for Verification and Debugging
by: Shen, Cheng-Hsien, et al.
Published: (2018)

INCREMENTAL SYNTHESIS OF INDUCTIVE ASSERTIONS FOR PROGRAM VERIFICATION
by: Britton, Dianne Ellen, 1950-
Published: (1977)

Uncovering bugs in P4 programs with assertion based verification
by: Freire, Lucas Menezes
Published: (2018)

Uncovering bugs in P4 programs with assertion based verification
by: Freire, Lucas Menezes
Published: (2018)

Uncovering bugs in P4 programs with assertion based verification
by: Freire, Lucas Menezes
Published: (2018)

Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions
by: Ning Zhou, et al.
Published: (2014-01-01)

A Debugging Tool based on Debugging History Management and Test Case Selection
by: Chih-Chung Hung, et al.
Published: (2008)

Coverage Assertion for Coverage Measurement in a Hardware-Acclerated Environment
by: Wu, Hong-Chang, et al.
Published: (2013)

Security vulnerability verification through contract-based assertion monitoring at runtime
by: Hoole, Alexander M.
Published: (2018)

Automatic Verification Assertion Extraction with High Functional Coverage
by: Zhang, Tong
Published: (2018)

Programmable phase/frequency generator for system debug and diagnosis
by: Tsai, Tsung-Yen
Published: (2011)

Wu’s Characteristic Set Method for SystemVerilog Assertions Verification
by: Xinyan Gao, et al.
Published: (2013-01-01)

VR/AR and Digital Twin for improvedvisualization of overview and debugging of live hardware in next generationsindustry.
by: Karlsson, Joakim, et al.
Published: (2020)

Investigation of a new integration test environment : Facilitating offline debugging of Hardware-in-the-Loop
by: Yang, Dekun
Published: (2015)

Effective simulation and debugging for a high-level hardware language using software compilers
by: Pit-Claudel, Clément, et al.
Published: (2022)

RTL Design Debugging and Verification by Formal Semantic Modeling and Inference of Design Knowledge
by: Chia-Hung Lin, et al.
Published: (2015)