1441 Florida Ave, Modesto, CA 95350 2095781211 (Phone)
Modesto Radiological Medical Grp 1524 Mchenry Ave Suite 430, Modesto, CA 95350 2095774444 (Phone)
Certifications:
Diagnostic Radiology, 1993
Awards:
Healthgrades Honor Roll
Languages:
English Spanish
Hospitals:
1441 Florida Ave, Modesto, CA 95350
Modesto Radiological Medical Grp 1524 Mchenry Ave Suite 430, Modesto, CA 95350
Doctors Medical Center - San Pablo 2000 Vale Road, San Pablo, CA 94806
Emanuel Medical Center 825 Delbon Avenue, Turlock, CA 95382
Oak Valley Hospital 350 South Oak Avenue, Oakdale, CA 95361
Education:
Medical School University Of California, San Diego, School Of Medicine Graduated: 1988 Medical School St Marys Hospital Graduated: 1989 Medical School Stanford University Graduated: 1993 Medical School Uc San Francisco Genl Hospital Graduated: 1994
Modesto Radiological Med GrpModesto Radiology Imaging Inc 1524 Mchenry Ave STE 100, Modesto, CA 95350 2095774444 (phone), 2095272069 (fax)
Education:
Medical School University of California, San Diego School of Medicine Graduated: 1988
Languages:
English Spanish
Description:
Dr. Higgins graduated from the University of California, San Diego School of Medicine in 1988. He works in Modesto, CA and specializes in Diagnostic Radiology and Radiology. Dr. Higgins is affiliated with Emanuel Medical Center and Oak Valley Hospital.
This invention determines whether two logic level circuit models have equivalent functionality. The method allows difficult portions of the equivalent functionality check to be partitioned and concurrently solved in a distributed computing environment. This permits the user to use, in a scalable fashion, additional computing resources to rapidly solve difficult equivalent functionality checks. The method allows difficult checks to be solved using ( ) a divide-and-conquer approach, ( ) by a competitive approach in which many independent attempts are made to solve the same check, or ( ) by allocating more resources to solve the difficult check.
Method For Rapidly Determining The Functional Equivalence Between Two Circuit Models
Joseph E. Higgins - Albany CA, US Vigyan Singhal - Fremont CA, US Adnan Aziz - Austin TX, US
Assignee:
Tempus Fugit, Inc. - Albany CA
International Classification:
G06F 17/50
US Classification:
716 3, 716 2
Abstract:
This invention determines whether two circuit models have equivalent functionality. The method allows very fast comparison between two circuits taking advantage of previous work done. Whenever an apparatus associated with the method solves a problem, it stores information that learned during the solution of the problem, in a database. If the apparatus is presented with a new problem of determining equivalence between two portions of two circuits, it checks if it has seen sub-circuits similar to either of the two pieces before. If it has, it uses the knowledge cached during the previous checks to make the new check easier. Checking equivalence of two circuit models involves checking equivalence of many pairs of sub-parts. Even when the subsequent comparisons involve different circuits, it is possible to take advantage of the information acquired during previous equivalence checks.
Isbn (Books And Publications)
Building Ship Models: Patterns and Instructions for a Clipper Ship and a Whaler
CareerSatellite is a business enterprise aimed at helping people develop their professional careers while assisting businesses in the process of acquiring the... CareerSatellite is a business enterprise aimed at helping people develop their professional careers while assisting businesses in the process of acquiring the necessary human resources to operate and grow.
It's built to succeed on some areas where most job portals fail, by providing a set of...