EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation

机译：EverLost：工业强度抽象指导仿真的灵活平台

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Abstraction-guided simulation is a general framework for automatically harnessing, during simulation, information from abstraction and model checking. EverLost is our platform for industrial-strength abstraction-guided simulation. EverLost takes an RTL Verilog design and preimage/abstraction information from any BDD-based abstraction/model-checking tool, and automatically generates code that implements abstraction-guided simulation and directly compiles with the design under the widely-used Synopsys VCS simulator. The platform enables flexible exploration of abstraction-guided simulation — different formal tools and guidance heuristics are easily inserted — while providing the capacity, speed, and Verilog compatibility of a leading industry-standard tool.

机译：抽象指导的仿真是在仿真过程中自动利用抽象和模型检查信息的通用框架。 EverLost是我们用于工业强度抽象指导仿真的平台。 EverLost从任何基于BDD的抽象/模型检查工具中获取RTL Verilog设计和原像/抽象信息，并自动生成实现抽象指导的仿真并直接在广泛使用的Synopsys VCS模拟器下与设计进行编译的代码。该平台可灵活地探索抽象指导的仿真-轻松插入不同的形式化工具和指导启发法-同时提供领先业界标准工具的容量，速度和Verilog兼容性。

著录项

来源
《International Conference on Computer Aided Verification(CAV 2006); 20060817-20; Seattle,WA(US)》|2006年|P.282-285|共4页
会议地点 SeattleWA(US)
作者
Flavio M. de Paula; Alan J. Hu;
展开▼
作者单位

Department of Computer Science, University of British Columbia, Canada;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类机器辅助技术;
关键词

相似文献

外文文献
中文文献
专利

1. Nano-electronic Simulation Software (NESS): a flexible nano-device simulation platform [J] . Salim Berrada, Hamilton Carrillo-Nunez, Jaehyun Lee, Journal of Computational Electronics . 2020,第3期

机译：纳米电子仿真软件（NESS）：一种灵活的纳米器件仿真平台
2. A flexible platform for simulations of sputtering hollow cathode discharges for laser applications [J] . Mihailova D, Grozeva M, Hagelaar GJM, Journal of Physics, D. Applied Physics: A Europhysics Journal . 2008,第24期

机译：灵活的平台，用于模拟激光应用中的溅射空心阴极放电
3. Design and simulation research of riser flexible hang-off system based on variable damping for drilling platform to avoid typhoon [J] . Z. Wang, Y. Zhang, R. Wang Oceanographic Literature Review . 2021,第9期

机译：基于变量阻尼的钻井平台避免台风的立管柔性换热系统的设计与仿真研究
4. EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation [C] . Flavio M. de Paula, Alan J. Hu International Conference on Computer Aided Verification . 2006

机译：Everlost：一种灵活的工业强度抽象引导仿真平台
5. Proving properties of digital systems with abstraction-guided simulation. [D] . Nanshi, Kuntal. 2009

机译：用抽象指导的仿真证明数字系统的特性。
6. A flexible simulation platform to quantify and manage emergency department crowding [O] . Joshua E Hurwitz, Jo Ann Lee, Kenneth K Lopiano, 2014

机译：灵活的模拟平台用于量化和管理急诊室拥挤情况
7. Flexible Simulation Platform for Multilayer Piezoelectric MEMS Microphones with Signal-to-Noise Ratio (SNR) Evaluation [O] . Fabrizio Cerini, Silvia Adorno 2018

机译：具有信噪比（SNR）评估的多层压电MEMS麦克风柔性仿真平台

EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation

摘要

著录项

相似文献

相关主题

期刊订阅