Gnomit search - systemverilog/verix

Gnomit / Keyword Search / Info

Results 1 - 1 of 1 for:

21,213,375 websites (safe search)

Welcome to Real Intent, Inc.

Real Intent is developing block-to-chip level assertion-based formal verification products that dramatically improve the functional verification efficiency of ...

formal

verification

magellan

EDA

archer

hdl

vhdl

verilog

psl

verifier

Electronic Design Automation

civ

hierarchical

ABV

systemverilog

blacktie

ovl

formal verification

Semi-formal

Functional verification

Model checking

property checking

verix

Functional coverage

0-in

assertion-based verification

Automatic assertion

clock intent

expressed intent

implied intent

Real Intent

static verification

www.realintent.com - 2009-02-06

asic design fpga hypercom dsp eda merchant account pos nurit omni point-of-sale hardware payment solutions systemc mastercard point of sale e-commerce analog merchant services

Keywords may contain spaces.
Separate multiple keywords with commas.

Start a new search.
Enter new keyword(s).

Narrow down your search.
Add keyword(s).

Broaden your search.
Click on Keyword to remove from query.