Symbolic simulation techniques-state-of-the-art and applications

Sixth IEEE International High-Level Design Validation and Test Workshop Pub Date : 2001-12-07 DOI:10.1109/HLDVT.2001.972806

C. Blank, H. Eveking, Jens Levihn, G. Ritter

引用次数: 11

Abstract

A number of different techniques of symbolic simulation in particular at the behavioral and structural rt-level are classified. The principles of the TUD Symbolic Simulator used for equivalence checking are briefly outlined. The application of the tool to property checking is demonstrated. Experimental results with input languages Esterel and C are given.

查看原文本刊更多论文

符号仿真技术——最新技术及其应用

许多不同的符号模拟技术，特别是在行为和结构的rt水平被分类。简要概述了用于等效性检查的TUD符号模拟器的原理。演示了该工具在属性检查中的应用。给出了用Esterel和C语言输入的实验结果。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Sixth IEEE International High-Level Design Validation and Test Workshop

自引率

0.00%

发文量