Method and system for logic change in an automatic logic synthes

Details Method and system for logic change in an automatic logic synthes Method and system for logic change in an automatic logic synthes

1991-09-24

1994-07-19

Trans, Vincent N.

Boots, shoes, and leggings

364488, G06F 1560

Patent

active

053315693

ABSTRACT:
An automatic logic synthesis method wherein lower-rank descriptions defining a logic device in terms of expressions of lower abstraction are synthesized from higher-rank descriptions defining the logic device in terms of expressions of higher abstraction, comprising: providing first identifiers each of which indicates the presence of a description change of the corresponding description unit data of the higher-rank description, and providing second identifiers each of which indicates the presence of a description change of the corresponding description unit data of the lower-rank description; setting the first identifier of changed description unit data at the change of the higher-rank description, and setting the second identifier of changed description unit at the change of the lower-rank description directly made without any synthesis process from the higher-rank description; originating new lower-rank description unit data from the higher-rank description unit whose first identifier is set; and registering the new lower-rank description unit data as lower-rank description unit data on condition that the second identifier of the current lower-rank description unit data corresponding to the new lower-rank description unit data is not set, and merging the new lower-rank description unit data and the current lower-rank description unit data and then registering a merged result as lower-rank description unit data on condition that the second identifier of the current lower-rank description unit data is set.

REFERENCES:
patent: 4703435 (1987-10-01), Darringer et al.
patent: 4882690 (1989-11-01), Shinsha et al.
patent: 4964056 (1990-10-01), Bekki et al.
patent: 5003487 (1991-03-01), Drumm et al.
patent: 5029102 (1991-07-01), Drumm et al.
patent: 5041986 (1991-08-01), Tanishita
patent: 5150308 (1992-09-01), Hooper et al.

Affiliated with

Also associated with

Rating

Method and system for logic change in an automatic logic synthes does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method and system for logic change in an automatic logic synthes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for logic change in an automatic logic synthes will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-525341