DAFCA, INC.

Organization

Framingham, MA, US

Business Address
30 KENSINGTON STREET NEWTONVILLE MA 02460 6176305623
State Location
MA
State of Incorporation

Organizations

Please log in for detailed analytics

Patents Grantslast 30 patents

Information Patent Grant
Determining the value of internal signals in a malfunctioning integ...
- Patent number 7,493,434
- Issue date Feb 17, 2009
- Dafca, Inc.
- Miron Abramovici
- G01 - MEASURING TESTING
Information Patent Grant
Integrated circuit analysis system and method using model checking
- Patent number 7,493,247
- Issue date Feb 17, 2009
- Dafca, Inc.
- Gerard Memmi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Combined hardware/software assertion checking
- Patent number 7,426,705
- Issue date Sep 16, 2008
- Dafca, Inc.
- Herbert K. Kolaric
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for network-on-chip and other integrated circuit...
- Patent number 7,348,796
- Issue date Mar 25, 2008
- Dafca, Inc.
- Alfred L. Crouch
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Serial implementation of assertion checking logic circuit
- Patent number 7,305,635
- Issue date Dec 4, 2007
- Dafca, Inc.
- Miron Abramovici
- G01 - MEASURING TESTING
Information Patent Grant
Method to locate logic errors and defects in digital circuits
- Patent number 7,296,201
- Issue date Nov 13, 2007
- Dafca, Inc.
- Miron Abramovici
- G01 - MEASURING TESTING
Information Patent Grant
Fixing functional errors in integrated circuits
- Patent number 7,146,548
- Issue date Dec 5, 2006
- Dafca, Inc.
- Miron Abramovici
- G01 - MEASURING TESTING
Information Patent Grant
Assertion checking using two or more cores
- Patent number 7,137,086
- Issue date Nov 14, 2006
- Dafca, Inc.
- Miron Abramovici
- G01 - MEASURING TESTING
Information Patent Grant
Reconfigurable fabric for SoCs using functional I/O leads
- Patent number 7,058,918
- Issue date Jun 6, 2006
- Dafca, Inc.
- Miron Abramovici
- G01 - MEASURING TESTING

Please log in for detailed analytics

Patents Applicationslast 30 patents

Information Patent Application
METHOD AND APPARATUS FOR ENSURING CONSISTENT SYSTEM CONFIGURATION I...
- Publication number 20110145919
- Publication date Jun 16, 2011
- DAFCA, INC.
- David J. WHELIHAN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTHENTICATING AN INTEGRATED CIRCUIT BASED ON STORED INFORMATION
- Publication number 20100241864
- Publication date Sep 23, 2010
- DAFCA, INC.
- Jim KELLEY
- G01 - MEASURING TESTING
Information Patent Application
METHOD TO SECURE EMBEDDED SYSTEM WITH PROGRAMMABLE LOGIC, HARDWARE...
- Publication number 20090271877
- Publication date Oct 29, 2009
- DAFCA, Inc.
- Paul Bradley
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Integrated circuit analysis system and method using model checking
- Publication number 20070168730
- Publication date Jul 19, 2007
- DAFCA, Inc.
- Gerard Memmi
- G06 - COMPUTING CALCULATING COUNTING

Please log in for detailed analytics

Trademarklast 30 trademarks

Information Trademark
78900507 - FLEXIBLE SILICON DEBUG INFRASTRUCTURE
- Serial number 78900507
- Filing date Jun 5, 2006
- Dafca, Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
78699151 - CLEARBLUE
- Serial number 78699151
- Registration number 3326587
- Filing date Aug 24, 2005
- Dafca, Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments
Information Trademark
78474282 - DAFCA
- Serial number 78474282
- Registration number 3107952
- Filing date Aug 26, 2004
- Dafca, Inc.
- 42 - Scientific and technological services and research and design relating thereto
Information Trademark
78474281 - DAFCA
- Serial number 78474281
- Registration number 3330676
- Filing date Aug 26, 2004
- Dafca, Inc.
- 9 - Scientific, nautical, surveying, photographic, cinematographic, optical, weighing, measuring, signalling, checking (supervision), life-saving and teaching apparatus and instruments

DAFCA, INC.

Organization

Business Address

State Location

State of Incorporation

Patents Grantslast 30 patents

Determining the value of internal signals in a malfunctioning integ...

Integrated circuit analysis system and method using model checking

Combined hardware/software assertion checking

Method and system for network-on-chip and other integrated circuit...

Serial implementation of assertion checking logic circuit

Method to locate logic errors and defects in digital circuits

Fixing functional errors in integrated circuits

Assertion checking using two or more cores

Reconfigurable fabric for SoCs using functional I/O leads

Patents Applicationslast 30 patents

METHOD AND APPARATUS FOR ENSURING CONSISTENT SYSTEM CONFIGURATION I...

AUTHENTICATING AN INTEGRATED CIRCUIT BASED ON STORED INFORMATION

METHOD TO SECURE EMBEDDED SYSTEM WITH PROGRAMMABLE LOGIC, HARDWARE...

Integrated circuit analysis system and method using model checking

Trademarklast 30 trademarks

78900507 - FLEXIBLE SILICON DEBUG INFRASTRUCTURE

78699151 - CLEARBLUE

78474282 - DAFCA

78474281 - DAFCA