Realizing live sequence charts in system verilog

The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requirement for its safety performance. In early stages, system requirements are often specied as scenarios of behavior using seque...

Full description

Saved in:
Bibliographic Details
Main Authors: WANG, Hai H., QIN, Shengchao, SUN, Jun, DONG, Jin Song
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2007
Subjects:
Online Access:https://ink.library.smu.edu.sg/sis_research/5054
https://ink.library.smu.edu.sg/context/sis_research/article/6057/viewcontent/realizing.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English