formality: lcell_ff cannot link to reference design dffep

[billyc59]

Hi,

I'm having trouble linking my design to see the reference design of dffep.
These libraries are all from Altera's quartus libraries made for formal verification.

My cycloneii_lcell_ff library file references lc_ff dffep and I have included dffep.v into the working library, but formality still refuses to recognize the link.

any suggestions on what to do next?

 

[Philipp Jacobsohn]

Hi,

you can easily solve this issue by adding the following line in Formality:

read_verilog -i -technology_library my_file.v

I believe you just forgot the "-technology_library" setting.

Thanks, Philipp

 

[billyc59]

Thanks for the reply,

I attempted your fix and it yielded 2 libraries: a design library and a separate technology library.

The problem now is that I receive blackbox instantiations because the technology library modules now create "unread tech cell pins"

Firstly, what are these pins they are referring to?
Secondly, where can I read about these? (the help documentation for this tool is very vague)
Thirdly, what's the cause?
Finally: what's the solution?

thanks.