Simulation-Based Hardware Verification with a Graph-Based Specification

Graph-based software specification and verification

xiii

Specification-based Verification in a Distributed Shared Memory Simulation Model

The emergence of chip multiprocessors is leading to rapid advances in hardware and software systems to provide distributed shared memory (DSM) programming models, so-called DSM systems. A DSM system provides programming advantages within a scalable and cost-effective hardware solution. This benefit derives from the fact that a DSM system creates a shared-memory abstraction on top of a distribut...

vlogsl: A Strategy Language for Simulation-Based Verification of Hardware

Specification and Verification of Graph-Based Model Transformation Properties

We extend a previously proposed symbolic model transformation property prover for the DSLTrans transformation language. The original prover generated the set of path conditions (i.e., symbolic transformation executions), and verified atomic contracts (constraints on inputoutput model relations) on these path conditions. The prover evaluated atomic contracts to yield either true or false for the...

شبیه سازی cycle-based در سطح انتقال ثبات برای زبان vhdl براساس فرمت میانی chire rtl vhdl cycle-based simulation based on chire

در این پایان نامه خصوصیات کلی شبیه سازی cycle-based معرفی شده و نحوه انجام شبیه سازی cycle-based در سطح گیت و سطح انتقال ثبات مورد بررسی موشکافانه قرار گرفته است . در این پایان نامه همچنین محدودیتهای شبیه سازی cycle-based معرفی شده و راه حلهایی برای این مشکلات ارائه شده است . به موازات این پایان نامه و برای اثبات صحت نظریه های مطرح شده و راه حلهای ارائه شده در آن، یک شبیه ساز cycle-based برای ز...