Automatic generation of functional coverage models from CTL - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Shireesh Verma, Ian G. Harris, Kiran Ramineni. Automatic generation of functional coverage models from CTL. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2007, Irvine, CA, USA, November 7-9, 2007. pages 159-164, IEEE Computer Society, 2007. [doi]

The following publications are possibly variants of this publication:

Interactive presentation: Automatic generation of functional coverage models from behavioral verilog descriptionsShireesh Verma, Ian G. Harris, Kiran Ramineni. date 2007: 900-905 [doi]

runs on WebDSL