Assertive Design's RTL design tools reduce the typical ASIC/FPGA design process by up to 75%.

- Without "changing the way designers think"
- Without limiting innovation to "Which IP cores do I use?"
- Without asking designers to do more than they do today
- Without changing your back-end design flow
- Without abandoning your existing methodologies and code
- Without a steep learning curve (under an hour)

Assertive Design's Patent Pending technology attacks the ever expanding "Verification Problem" at its root. Removing Verilog & VHDL ambiguity and their corresponding loss of designer intent during design capture without burdening the designer with more work.




Technology:

DesignPSL:
- RTL design language with all the control/visibility of Verilog/VHDL
- Designer freindly, familiar RTL
- Easy to Learn
- Mix-and-Match with Verilog/VHDL
- No changes to synthesis flow
- No change required to DV methodology

Automatic Assertions:
- Fully automated assertions
- Full Check Assertion Model
- Full Coverage Assertion Model
- Automatic Functional Coverage

Results:

Cost Savings:
- 75% reduction in development time
- Eliminate Risk of Design "Spin"
- Avoid Endless "Lab Debug"

Better Product:
- Automatic Functional Coverage Data
- Verification Refocused on ESL
- Greater than 1 automatic assertion per line of source
- Add Complexity without fear of verification
- Visibility from day-1 into verification progress
- Tight bug feedback loop to Designer

Services:

Unbeatable Pricing:
- Assertive Design provides outsource design services at prices equal or less than in-house prices
- Access to Veteran Industry Expertise at 1/4 the typical price

Visibility:
- Unparalleled visibility into on or offsite development through automated coverage data