Product Documentation
Dracula User Guide
Product Version IC23.1, September 2023


Preface

This manual assumes that you are familiar with the development and design of integrated circuits. It contains task-related information about the Dracula® standalone verification tool.

Dracula is an integrated system that offers a full tool suite to meet most verification needs.

These tools work from the same database to ensure a smooth transition through each phase of IC verification.

This preface discusses the following:

Related Documents

For more information about Dracula and other related products, you can consult the sources listed below.

Typographic and Syntax Conventions

This list describes the syntax conventions used in this book.

LITERAL

UPPERCASE words indicate keywords that you must enter literally. These keywords represent function or option names.

argument

Words in italics indicate user-defined arguments for which you must substitute a name or a value.

...

Three dots (...) indicate that you can repeat the previous argument.

; <functions omitted>

When you see this notation in a rules file listing, it means that lines have been omitted from the rules file. The complete rules files are not included in examples. Only the functions needed to demonstrate a specific rule are listed.


Return to top
 ⠀
X