A Behavioral Model for Co-design

Authors:
He Jifeng
Affiliations:
-
Venue:
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Year:
1999

Citing 6
Cited 0

Executing temporal logic programs

Executing temporal logic programs
Guide to VHDL

Guide to VHDL
The VERILOG Hardware Description Language

The VERILOG Hardware Description Language
A Hardware Semantics Based on Temporal Intervals

Proceedings of the 10th Colloquium on Automata, Languages and Programming
Slide: An I/O Hardware Descriptive Language

IEEE Transactions on Computers
A Temporal Logic for Multilevel Reasoning about Hardware

Computer

Quantified Score

Hi-index	0.00

Visualization

Abstract