Digital circuit design verification

Details Digital circuit design verification Digital circuit design verification

1988-01-11

1989-10-03

Gruber, Felix D.

Boots, shoes, and leggings

371 23, G06F 1520, G06F 1100

Patent

active

048721263

ABSTRACT:
A system and method for modeling digital circuit elements to enable verification of circuit design by formal proofs using a computerized theorem proving system, is disclosed.

REFERENCES:
patent: 4644487 (1987-02-01), Smith
patent: 4696006 (1987-09-01), Kawai

Affiliated with

Also associated with

Rating

Digital circuit design verification does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Digital circuit design verification, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Digital circuit design verification will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-668366