The Register Transfer Language Level

2018 ◽  
pp. 129-160
Author(s):  
James Gil de Lamadrid
Keyword(s):  
Language Level ◽  
Register Transfer ◽  
Register Transfer Language

Formal Specification of RTL-Level Digital System Using Projection Temporal Logic

2015 ◽  
Vol 719-720 ◽  
pp. 949-955
Author(s):  
Peng Fei Zhang
Keyword(s):  
Temporal Logic ◽  
Formal Specification ◽  
Digital System ◽  
Level System ◽  
Modeling Simulation ◽  
Register Transfer ◽  
Register Transfer Language

An approach to specify a RTL-level system using Projection Temporal Logic (PTL) is proposed in this paper. With this approach, a digital system described with Register Transfer Language can be translated into PTL formulae, and properties of the system can be specified by PTL either. Then MSVL(Modeling, Simulation and Verification Language) can be used for detecting the error of the design formally.

Sign in / Sign up

Export Citation Format

Share Document