Abstract modelling of asynchronous micropipeline systems using Rainbow
Authors:
Howard Barringer;Donal Fellows;Graham Gough;Alan Williams
Affiliations:
Univ. of Manchester, Manchester, UK;Univ. of Manchester, Manchester, UK;Univ. of Manchester, Manchester, UK;Univ. of Manchester, Manchester, UK
Venue:
CHDL'97 Proceedings of the IFIP TC10 WG10.5 international conference on Hardware description languages and their applications : specification, modelling, verification and synthesis of microelectronic systems: specification, modelling, verification and synthesis of microelectronic systems