会议专题

Modeling and Verification of Circuit with Stable-event

  In recent years,the state based method has been common employed in formal verification.However,the event structures hardly adopted which is more direct and natural than finite state machines when discribing the behavior of a circuit or system.In this paper,to describe the circuit accurately,stable event is proposed when the model extended bundle event structures,EBES in short,is equipped.From the signal transition waveform four actions can be obtained,two of them are used to express the stable signal,stable up and stable down.The stable event denotes the occured stable action.The EBES of primitive logic gates well be presented,and then the complex logic cells EBES well be built in a compositional way.

Extended bundle event structure stable action stable event model checking

Tingting Jia Caihong Li Anping He

School of Information Science and Engineering,Lanzhou University,lanzhou,China

国际会议

第九届网络分布式计算与知识发现国际会议( 2017 International Conference on Cyber-enabled distributed computing and knowledge discovery)

南京

英文

471-475

2017-10-12(万方平台首次上网日期,不代表论文的发表时间)