A Temporal Logic for Data-Flow VHDL

• Authors:

• Vanderlei Moraes Rodrigues;Flavio Rech Wagner

• Affiliations:

• -;-

• Venue:
• SBCCI '98 Proceedings of the 11th Brazilian Symposium on Integrated circuit design
• Year:
• 1998