Wolfgang Günther, Nicole Drechsler, Rolf Drechsler, Bernd Becker. Verification of Designs Containing Black Boxes. In 26th EUROMICRO 2000 Conference, Informatics: Inventing the Future, 5-7 September 2000, Maastricht, The Netherlands. pages 1100-1105, IEEE Computer Society, 2000. [doi]
Abstract is missing.