EP0600608B1
(de)
*
|
1992-10-29 |
1999-12-22 |
Altera Corporation |
Verfahren zum Prüfen von Entwürfen für programmierbare Logikschaltungen
|
DE69533567T2
(de)
*
|
1994-08-09 |
2005-11-24 |
Sun Microsystems, Inc., Mountain View |
Vorrichtung und Verfahren zum Auffinden von False-Timing-Paths in digitalen Schaltkreisen
|
US5617533A
(en)
*
|
1994-10-13 |
1997-04-01 |
Sun Microsystems, Inc. |
System and method for determining whether a software package conforms to packaging rules and requirements
|
US5987237A
(en)
*
|
1997-09-02 |
1999-11-16 |
Hewlett-Packard Company |
Framework for rules checking
|
US6833242B2
(en)
*
|
1997-09-23 |
2004-12-21 |
California Institute Of Technology |
Methods for detecting and sorting polynucleotides based on size
|
US6175946B1
(en)
*
|
1997-10-20 |
2001-01-16 |
O-In Design Automation |
Method for automatically generating checkers for finding functional defects in a description of a circuit
|
US6393591B1
(en)
*
|
1999-02-12 |
2002-05-21 |
Xilinx, Inc. |
Method for remotely testing microelectronic device over the internet
|
US6560571B1
(en)
*
|
1999-06-30 |
2003-05-06 |
Hewlett-Packard Development Company, L.P. |
Method and apparatus for prioritizing the order in which checks are performed on a node in an integrated circuit
|
TW560127B
(en)
*
|
1999-11-01 |
2003-11-01 |
Winbond Electronics Corp |
Digital logic simulating method
|
US6751744B1
(en)
*
|
1999-12-30 |
2004-06-15 |
International Business Machines Corporation |
Method of integrated circuit design checking using progressive individual network analysis
|
US6810508B1
(en)
|
2000-05-04 |
2004-10-26 |
Xilinx, Inc. |
Method for automatically-remapping an HDL netlist to provide compatibility with pre-synthesis behavioral test benches
|
US6675310B1
(en)
*
|
2000-05-04 |
2004-01-06 |
Xilinx, Inc. |
Combined waveform and data entry apparatus and method for facilitating fast behavorial verification of digital hardware designs
|
US6882313B1
(en)
*
|
2000-06-21 |
2005-04-19 |
At Road, Inc. |
Dual platform location-relevant service
|
US6885982B2
(en)
*
|
2000-06-27 |
2005-04-26 |
Fluidigm Corporation |
Object oriented microfluidic design method and system
|
AU2001273057A1
(en)
*
|
2000-06-27 |
2002-01-08 |
Fluidigm Corporation |
A microfluidic design automation method and system
|
US7240336B1
(en)
*
|
2000-07-25 |
2007-07-03 |
Sci Systems, Inc. |
Interpretive simulation of software download process
|
US6581018B1
(en)
*
|
2000-07-26 |
2003-06-17 |
Sun Microsystems, Inc. |
Multiplexer select line exclusivity check method and apparatus
|
US6536019B1
(en)
*
|
2000-09-28 |
2003-03-18 |
Verisity Design, Inc. |
Race condition detection and expression
|
EP1336097A4
(de)
*
|
2000-10-13 |
2006-02-01 |
Fluidigm Corp |
Probeninjektionssystem auf der basis einer mikrofluidischen einrichtung für analytische einrichtungen
|
NZ508052A
(en)
*
|
2000-11-09 |
2003-06-30 |
Derek Ward |
Programmable controller
|
EP1384022A4
(de)
|
2001-04-06 |
2004-08-04 |
California Inst Of Techn |
Nukleinsäure-amplifikation verwendende mikrofluidvorrichtungen
|
US20050149304A1
(en)
*
|
2001-06-27 |
2005-07-07 |
Fluidigm Corporation |
Object oriented microfluidic design method and system
|
US6931573B2
(en)
*
|
2001-08-13 |
2005-08-16 |
International Business Machines Corporation |
Automated audit methodology for design
|
US20030035518A1
(en)
*
|
2001-08-16 |
2003-02-20 |
Fan Rodric C. |
Voice interaction for location-relevant mobile resource management
|
US8440093B1
(en)
|
2001-10-26 |
2013-05-14 |
Fuidigm Corporation |
Methods and devices for electronic and magnetic sensing of the contents of microfluidic flow channels
|
US7512931B2
(en)
*
|
2001-11-13 |
2009-03-31 |
National Instruments Corporation |
Graphical program nodes for implementing a measurement state model
|
AU2002351187A1
(en)
|
2001-11-30 |
2003-06-17 |
Fluidigm Corporation |
Microfluidic device and methods of using same
|
US7691333B2
(en)
|
2001-11-30 |
2010-04-06 |
Fluidigm Corporation |
Microfluidic device and methods of using same
|
AU2003205269A1
(en)
*
|
2002-01-25 |
2003-09-02 |
Logicvision (Canada), Inc. |
Method and program product for creating and maintaining self-contained design environment
|
US6725435B2
(en)
|
2002-01-25 |
2004-04-20 |
Logicvision, Inc. |
Method and program product for completing a circuit design having embedded test structures
|
WO2003067477A1
(en)
*
|
2002-02-05 |
2003-08-14 |
Logicvision, Inc. |
Method and program product for completing a circuit design having embedded test structures
|
JP2003271694A
(ja)
*
|
2002-03-18 |
2003-09-26 |
Fujitsu Ltd |
プロセッサを含む論理回路の検証用シミュレーション方法及び装置並びに論理回路検証用エラー検出プログラム
|
US6735749B2
(en)
|
2002-03-21 |
2004-05-11 |
Sun Microsystems, Inc. |
(Design rule check)/(electrical rule check) algorithms using a system resolution
|
US7312085B2
(en)
*
|
2002-04-01 |
2007-12-25 |
Fluidigm Corporation |
Microfluidic particle-analysis systems
|
EP2666849A3
(de)
*
|
2002-04-01 |
2014-05-28 |
Fluidigm Corporation |
Mikrofluidische Partikelanalysesysteme
|
US6631506B1
(en)
*
|
2002-04-02 |
2003-10-07 |
Hewlett-Packard Development Company, L.P. |
Method and apparatus for identifying switching race conditions in a circuit design
|
US6993733B2
(en)
*
|
2002-04-09 |
2006-01-31 |
Atrenta, Inc. |
Apparatus and method for handling of multi-level circuit design data
|
US6769099B2
(en)
|
2002-04-12 |
2004-07-27 |
Sun Microsystems, Inc. |
Method to simplify and speed up design rule/electrical rule checks
|
WO2004000721A2
(en)
*
|
2002-06-24 |
2003-12-31 |
Fluidigm Corporation |
Recirculating fluidic network and methods for using the same
|
US6871332B2
(en)
*
|
2002-07-23 |
2005-03-22 |
Sun Microsystems, Inc. |
Structure and method for separating geometries in a design layout into multi-wide object classes
|
US6952690B2
(en)
*
|
2002-08-22 |
2005-10-04 |
International Business Machines Corporation |
Loop detection in rule-based expert systems
|
WO2004028955A2
(en)
*
|
2002-09-25 |
2004-04-08 |
California Institute Of Technology |
Microfluidic large scale integration
|
EP1546412B1
(de)
|
2002-10-02 |
2014-05-21 |
California Institute Of Technology |
MIKROFLUIDISCHE NUKLEINSûUREANALYSE
|
US7243319B2
(en)
*
|
2003-02-03 |
2007-07-10 |
Cadence Design (Israel) Ii Ltd. |
Race condition detection and expression
|
US20050145496A1
(en)
|
2003-04-03 |
2005-07-07 |
Federico Goodsaid |
Thermal reaction device and method for using the same
|
US7476363B2
(en)
*
|
2003-04-03 |
2009-01-13 |
Fluidigm Corporation |
Microfluidic devices and methods of using same
|
US8828663B2
(en)
*
|
2005-03-18 |
2014-09-09 |
Fluidigm Corporation |
Thermal reaction device and method for using the same
|
US7604965B2
(en)
*
|
2003-04-03 |
2009-10-20 |
Fluidigm Corporation |
Thermal reaction device and method for using the same
|
JP5419248B2
(ja)
*
|
2003-04-03 |
2014-02-19 |
フルイディグム コーポレイション |
マイクロ流体装置およびその使用方法
|
US7082584B2
(en)
*
|
2003-04-30 |
2006-07-25 |
Lsi Logic Corporation |
Automated analysis of RTL code containing ASIC vendor rules
|
US7080334B2
(en)
*
|
2003-05-09 |
2006-07-18 |
Incentia Design Systems Corp. |
Automatic clock gating insertion in an IC design
|
US7162703B1
(en)
*
|
2003-06-19 |
2007-01-09 |
Altera Corporation |
Electrical design rule checking expert traverser system
|
US7413712B2
(en)
*
|
2003-08-11 |
2008-08-19 |
California Institute Of Technology |
Microfluidic rotary flow reactor matrix
|
US7020864B1
(en)
*
|
2003-11-24 |
2006-03-28 |
Altera Corporation |
Optimized technology mapping techniques for programmable circuits
|
GB2423522A
(en)
*
|
2003-12-10 |
2006-08-30 |
Univ Utah Res Found |
Method for obtaining an enriched population of sirna-expressing cells
|
US7100142B2
(en)
*
|
2004-04-07 |
2006-08-29 |
Synopsys, Inc. |
Method and apparatus for creating a mask-programmable architecture from standard cells
|
US7386825B2
(en)
*
|
2004-07-29 |
2008-06-10 |
International Business Machines Corporation |
Method, system and program product supporting presentation of a simulated or hardware system including configuration entities
|
US7389490B2
(en)
*
|
2004-07-29 |
2008-06-17 |
International Business Machines Corporation |
Method, system and program product for providing a configuration specification language supporting selective presentation of configuration entities
|
ATE412932T1
(de)
*
|
2004-09-03 |
2008-11-15 |
Derek Ward |
Verbesserungen an numerischen steuerungen und verwandten elektronischen geräten
|
US7334203B2
(en)
*
|
2004-10-01 |
2008-02-19 |
Dynetix Design Solutions, Inc. |
RaceCheck: a race logic analyzer program for digital integrated circuits
|
US7406671B2
(en)
*
|
2005-10-05 |
2008-07-29 |
Lsi Corporation |
Method for performing design rule check of integrated circuit
|
US20080148214A1
(en)
*
|
2006-12-15 |
2008-06-19 |
Yancey Jerry W |
Method and system for configuring FPGAs from VHDL code with reduced delay from large multiplexers
|
US7669151B1
(en)
*
|
2007-03-07 |
2010-02-23 |
Altera Corporation |
Methods for reducing power supply simultaneous switching noise
|
JP4891817B2
(ja)
*
|
2007-03-16 |
2012-03-07 |
株式会社日立製作所 |
設計ルール管理方法、設計ルール管理プログラム、ルール構築装置およびルールチェック装置
|
JP4585559B2
(ja)
*
|
2007-08-30 |
2010-11-24 |
株式会社東芝 |
半導体集積回路の検証装置
|
US8261218B1
(en)
*
|
2008-08-01 |
2012-09-04 |
Altera Corporation |
Systems and methods for determining beneficial clock-path connection delays
|
DE102008051401B4
(de)
*
|
2008-10-11 |
2010-08-05 |
Festo Ag & Co. Kg |
Trainings- und Simulationsgerät für elektrische Funktionsabläufe in elektrischen, elektromechanischen und elektrofluidischen Anlagen
|
WO2010055017A2
(en)
*
|
2008-11-11 |
2010-05-20 |
Airbus Engineering Centre India |
System and method for automatic standardization and verification of system design requirements
|
CA2734199C
(en)
*
|
2010-03-18 |
2017-01-03 |
Accenture Global Services Limited |
Evaluating and enforcing software design quality
|
US9600604B2
(en)
*
|
2013-07-18 |
2017-03-21 |
Netapp, Inc. |
System and method for planning an upgrade of a modular computing system
|
CN113255263B
(zh)
*
|
2021-06-07 |
2021-10-01 |
上海国微思尔芯技术股份有限公司 |
颗粒带分割方法、装置、计算机设备和存储介质
|