Patent | Date |
---|
Next best action based by quantifying chronic disease burden on a patient and their willingness to take that action Grant 11,393,592 - Jain , et al. July 19, 2 | 2022-07-19 |
Sensor Assisted Depression Detection App 20220020500 - Jain; Jawahar ;   et al. | 2022-01-20 |
Sensor assisted evaluation of health and rehabilitation Grant 11,164,596 - Jain , et al. November 2, 2 | 2021-11-02 |
Real time authentication based on blood flow parameters Grant 11,064,893 - Jain , et al. July 20, 2 | 2021-07-20 |
Chronotherapeutic dosing of medication and medication regimen adherence Grant 11,039,986 - Jain , et al. June 22, 2 | 2021-06-22 |
Determining health markers using portable devices Grant 10,973,423 - Jain , et al. April 13, 2 | 2021-04-13 |
Determining a health status for a user Grant 10,945,675 - Jain , et al. March 16, 2 | 2021-03-16 |
Determining cardiovascular features using camera-based sensing Grant 10,939,834 - Khwaja , et al. March 9, 2 | 2021-03-09 |
Determining artery location using camera-based sensing Grant 10,939,833 - Khwaja , et al. March 9, 2 | 2021-03-09 |
Graded escalation based triage Grant 10,930,398 - Jain , et al. February 23, 2 | 2021-02-23 |
Determining emotions using camera-based sensing Grant 10,874,309 - Khwaja , et al. December 29, 2 | 2020-12-29 |
Determining Next Best Action Using Graded Escalation Triage Alogrithm App 20200273583 - Jain; Jawahar ;   et al. | 2020-08-27 |
Next Best Action Based By Quantifying Chronic Disease Burden On A Patient And Their Willingness To Take That Action App 20200258636 - A1 | 2020-08-13 |
Health Risk Score For Risk Stratification And Compliance Monitoring For Next Best Action App 20200258637 - A1 | 2020-08-13 |
Detecting live tissues using signal analysis Grant 10,537,253 - Jain , et al. Ja | 2020-01-21 |
Determining baseline contexts and stress coping capacity Grant 10,478,131 - Jain , et al. Nov | 2019-11-19 |
Bio-Sensing Based Monitoring Of Health App 20190328316 - Fontanel; Fannie ;   et al. | 2019-10-31 |
Performance of biological measurements in the presence of noise Grant 10,456,088 - Jain , et al. Oc | 2019-10-29 |
Detection of chronotropic incompetence Grant 10,420,514 - Jain , et al. Sept | 2019-09-24 |
Continuous stress measurement with built-in alarm fatigue reduction features Grant 10,390,764 - Jain , et al. A | 2019-08-27 |
Sensor-based detection of changes in health and ventilation threshold Grant 10,362,998 - Jain , et al. | 2019-07-30 |
Graded Escalation Based Triage App 20190180879 - Jain; Jawahar ;   et al. | 2019-06-13 |
Emotion evaluation Grant 10,285,634 - Jain , et al. | 2019-05-14 |
Stress detection based on sympathovagal balance Grant 10,231,673 - Jain , et al. | 2019-03-19 |
Image-analysis for assessing heart failure Grant 10,172,517 - Jain , et al. J | 2019-01-08 |
Determining A Health Status For A User App 20180338733 - Jain; Jawahar ;   et al. | 2018-11-29 |
Determining Health Markers Using Portable Devices App 20180317788 - Jain; Jawahar ;   et al. | 2018-11-08 |
Determining Emotions Using Camera-Based Sensing App 20180314879 - Khwaja; Ayesha ;   et al. | 2018-11-01 |
Determining Artery Location Using Camera-Based Sensing App 20180310841 - Khwaja; Ayesha ;   et al. | 2018-11-01 |
Determining Cardiovascular Features Using Camera-Based Sensing App 20180310842 - Khwaja; Ayesha ;   et al. | 2018-11-01 |
Real Time Authentication Based On Blood Flow Parameters App 20180020927 - Jain; Jawahar ;   et al. | 2018-01-25 |
Detection Of Chronotropic Incompetence App 20170245805 - Jain; Jawahar ;   et al. | 2017-08-31 |
Sensor Assisted Depression Detection App 20170249437 - Jain; Jawahar ;   et al. | 2017-08-31 |
Sensor-based Detection Of Changes In Health And Ventilation Threshold App 20170245808 - Jain; Jawahar ;   et al. | 2017-08-31 |
Image-analysis For Assessing Heart Failure App 20170245759 - Jain; Jawahar ;   et al. | 2017-08-31 |
Sensor Assisted Evaluation Of Health And Rehabilitation App 20170249438 - Jain; Jawahar ;   et al. | 2017-08-31 |
Detecting Live Tissues Using Signal Analysis App 20170249429 - Jain; Jawahar ;   et al. | 2017-08-31 |
Chronotherapeutic Dosing Of Medication And Medication Regimen Adherence App 20170246086 - Jain; Jawahar ;   et al. | 2017-08-31 |
Continuous Stress Measurement with Built-In Alarm Fatigue Reduction Features App 20170071523 - Jain; Jawahar ;   et al. | 2017-03-16 |
Stress Detection Based on Sympathovagal Balance App 20170071551 - Jain; Jawahar ;   et al. | 2017-03-16 |
Performance of Biological Measurements in the Presence of Noise App 20170071546 - Jain; Jawahar ;   et al. | 2017-03-16 |
Determining Baseline Contexts and Stress Coping Capacity App 20170071537 - Jain; Jawahar ;   et al. | 2017-03-16 |
Emotion Evaluation App 20170007165 - Jain; Jawahar ;   et al. | 2017-01-12 |
Efficient indexing using compact decision diagrams Grant 9,405,819 - Stergiou , et al. August 2, 2 | 2016-08-02 |
Selecting metadata for sensor data streams Grant 9,386,359 - Adler , et al. July 5, 2 | 2016-07-05 |
Modeling topics using statistical distributions Grant 9,317,593 - Marvit , et al. April 19, 2 | 2016-04-19 |
Stress model based on RR integral average Grant 9,301,695 - Stergiou , et al. April 5, 2 | 2016-04-05 |
Reduction of spatial resolution for temporal resolution Grant 9,300,869 - Marvit , et al. March 29, 2 | 2016-03-29 |
Calculating and monitoring a composite stress index Grant 9,189,599 - Adler , et al. November 17, 2 | 2015-11-17 |
Detecting sensor malfunctions using compression analysis of binary decision diagrams Grant 9,176,819 - Stergiou , et al. November 3, 2 | 2015-11-03 |
Partitioning medical binary decision diagrams for analysis optimization Grant 9,177,247 - Stergiou , et al. November 3, 2 | 2015-11-03 |
Triggering user queries based on sensor inputs Grant 9,173,567 - Jain , et al. November 3, 2 | 2015-11-03 |
Frequency domain analysis transform of renal blood flow doppler signal to determine stress levels Grant 9,168,020 - Jain , et al. October 27, 2 | 2015-10-27 |
Annotating medical data represented by characteristic functions Grant 9,138,143 - Stergiou , et al. September 22, 2 | 2015-09-22 |
Identifying an event occurrence from sensor data streams Grant 9,107,565 - Jain , et al. August 18, 2 | 2015-08-18 |
Recommending terms to specify ontology space Grant 9,081,852 - Marvit , et al. July 14, 2 | 2015-07-14 |
Partitioning medical binary decision diagrams for size optimization Grant 9,075,908 - Stergiou , et al. July 7, 2 | 2015-07-07 |
Monitoring Adjustable Workstations App 20150120238 - MARVIT; David L. ;   et al. | 2015-04-30 |
Reduction Of Spatial Resolution For Temporal Resolution App 20150116568 - MARVIT; David L. ;   et al. | 2015-04-30 |
Measuring Efficacy Of Ergonomic Interventions App 20150120377 - MARVIT; David L ;   et al. | 2015-04-30 |
Annotating environmental data represented by characteristic functions Grant 9,002,781 - Stergiou , et al. April 7, 2 | 2015-04-07 |
Recording and analyzing data on a 3D avatar Grant 8,928,671 - Adler , et al. January 6, 2 | 2015-01-06 |
Querying sensor data stored as binary decision diagrams Grant 8,930,394 - Stergiou , et al. January 6, 2 | 2015-01-06 |
Method And System To Utilize Bio Smart Social Networking Environment App 20140372530 - Jain; Jawahar | 2014-12-18 |
Combining medical binary decision diagrams to determine data correlations Grant 8,909,592 - Stergiou , et al. December 9, 2 | 2014-12-09 |
Method And System For Recording Emotional State Of A User App 20140335500 - Jain; Lakshya ;   et al. | 2014-11-13 |
Multi-touch user input based on multiple quick-point controllers Grant 8,878,787 - Stergiou , et al. November 4, 2 | 2014-11-04 |
Representing sensor data as binary decision diagrams Grant 8,874,607 - Stergiou , et al. October 28, 2 | 2014-10-28 |
Compression threshold analysis of binary decision diagrams Grant 8,838,523 - Stergiou , et al. September 16, 2 | 2014-09-16 |
Detecting data corruption in medical binary decision diagrams using hashing techniques Grant 8,812,943 - Stergiou , et al. August 19, 2 | 2014-08-19 |
Stress Model Based On Rr Integral Average App 20140206944 - JAIN; Jawahar ;   et al. | 2014-07-24 |
Range queries in binary decision diagrams Grant 8,781,995 - Stergiou , et al. July 15, 2 | 2014-07-15 |
Determining Respiratory Rate App 20140163396 - JAIN; Jawahar ;   et al. | 2014-06-12 |
Data aggregation platform Grant 8,725,462 - Jain , et al. May 13, 2 | 2014-05-13 |
Combining medical binary decision diagrams for analysis optimization Grant 8,719,214 - Stergiou , et al. May 6, 2 | 2014-05-06 |
Method and system for processing access control lists using an exclusive-or sum-of-products evaluator Grant 8,688,902 - Stergiou , et al. April 1, 2 | 2014-04-01 |
Geotagging Based On Specified Criteria App 20140067801 - MARVIT; David L. ;   et al. | 2014-03-06 |
Frequency Domain Analysis Transform Of Renal Blood Flow Doppler Signal To Determine Stress Levels App 20140046189 - JAIN; Jawahar ;   et al. | 2014-02-13 |
Annotating binary decision diagrams representing sensor data Grant 8,645,108 - Stergiou , et al. February 4, 2 | 2014-02-04 |
Continuous monitoring of stress using accelerometer data Grant 8,622,901 - Jain , et al. January 7, 2 | 2014-01-07 |
Continuous monitoring of stress using self-reported psychological or behavioral data Grant 8,622,899 - Jain , et al. January 7, 2 | 2014-01-07 |
Calculating and monitoring the efficacy of stress-related therapies Grant 8,622,900 - Jain , et al. January 7, 2 | 2014-01-07 |
Optimum layer-swapping schedules for BDDs with four variables Grant 8,626,695 - Stergiou , et al. January 7, 2 | 2014-01-07 |
Annotating medical binary decision diagrams with health state information Grant 8,620,854 - Stergiou , et al. December 31, 2 | 2013-12-31 |
Continuous monitoring of stress using environmental data Grant 08617067 - | 2013-12-31 |
Continuous monitoring of stress using environmental data Grant 8,617,067 - Jain , et al. December 31, 2 | 2013-12-31 |
Window algorithm using maximal parallelization Grant 8,600,927 - Stergiou , et al. December 3, 2 | 2013-12-03 |
Verification and reachability using an organic approach Grant 8,595,659 - Stergiou , et al. November 26, 2 | 2013-11-26 |
Determining optimum variable orders for BDDs using pair-wise variable grouping Grant 8,595,179 - Stergiou , et al. November 26, 2 | 2013-11-26 |
Comparing boolean functions representing sensor data Grant 8,583,718 - Stergiou , et al. November 12, 2 | 2013-11-12 |
Parallel sifting algorithm Grant 8,583,591 - Stergiou , et al. November 12, 2 | 2013-11-12 |
Parallel window algorithm Grant 8,583,590 - Stergiou , et al. November 12, 2 | 2013-11-12 |
Comparing data samples represented by characteristic functions Grant 8,572,146 - Stergiou , et al. October 29, 2 | 2013-10-29 |
Efficient computation of ontology affinity matrices Grant 8,554,696 - Stergiou , et al. October 8, 2 | 2013-10-08 |
Determining a document specificity Grant 8,543,380 - Marvit , et al. September 24, 2 | 2013-09-24 |
Continuous monitoring of stress using a stress profile created by renal doppler sonography Grant 8,540,629 - Jain , et al. September 24, 2 | 2013-09-24 |
Creating a personalized stress profile using renal doppler sonography Grant 8,529,447 - Jain , et al. September 10, 2 | 2013-09-10 |
Validating sensor data represented by characteristic functions Grant 8,495,038 - Stergiou , et al. July 23, 2 | 2013-07-23 |
Caching query results with binary decision diagrams (BDDs) Grant 8,468,142 - Stergiou , et al. June 18, 2 | 2013-06-18 |
Combining Medical Binary Decision Diagrams for Analysis Optimization App 20130080380 - Stergiou; Stergios ;   et al. | 2013-03-28 |
Compression Threshold Analysis of Binary Decision Diagrams App 20130080382 - Stergiou; Stergios ;   et al. | 2013-03-28 |
Detecting Data Corruption in Medical Binary Decision Diagrams Using Hashing Techniques App 20130080836 - Stergiou; Stergios ;   et al. | 2013-03-28 |
Detecting Sensor Malfunctions Using Compression Analysis of Binary Decision Diagrams App 20130080843 - Stergiou; Stergios ;   et al. | 2013-03-28 |
Partitioning Medical Binary Decision Diagrams for Analysis Optimization App 20130080114 - Stergiou; Stergios ;   et al. | 2013-03-28 |
Partitioning Medical Binary Decision Diagrams for Size Optimization App 20130080118 - Stergiou; Stergios ;   et al. | 2013-03-28 |
Range Queries in Binary Decision Diagrams App 20130080470 - Stergiou; Stergios ;   et al. | 2013-03-28 |
Combining Medical Binary Decision Diagrams for Size Optimization App 20130080381 - Stergiou; Stergios ;   et al. | 2013-03-28 |
Annotating Medical Binary Decision Diagrams with Health State Information App 20130080379 - Stergiou; Stergios ;   et al. | 2013-03-28 |
Determining optimum variable orders for BDDs using recursion Grant 8,374,991 - Stergiou , et al. February 12, 2 | 2013-02-12 |
BDD variable reordering using parallel permutation Grant 8,370,289 - Stergiou , et al. February 5, 2 | 2013-02-05 |
Automatically generating a hierarchy of terms Grant 8,332,439 - Marvit , et al. December 11, 2 | 2012-12-11 |
Continuous Monitoring of Stress Using a Stress Profile Created by Renal Doppler Sonography App 20120289794 - Jain; Jawahar ;   et al. | 2012-11-15 |
Calculating and Monitoring the Efficacy of Stress-Related Therapies App 20120289791 - Jain; Jawahar ;   et al. | 2012-11-15 |
Calculating and Monitoring a Composite Stress Index App 20120290215 - Adler; B. Thomas ;   et al. | 2012-11-15 |
Data Aggregation Platform App 20120290266 - Jain; Jawahar ;   et al. | 2012-11-15 |
Continuous Monitoring of Stress Using Accelerometer Data App 20120289793 - Jain; Jawahar ;   et al. | 2012-11-15 |
Triggering User Queries Based on Sensor Inputs App 20120289788 - Jain; Jawahar ;   et al. | 2012-11-15 |
Continuous Monitoring of Stress Using Environmental Data App 20120289789 - Jain; Jawahar ;   et al. | 2012-11-15 |
Creating a Personalized Stress Profile Using Renal Doppler Sonography App 20120289792 - Jain; Jawahar ;   et al. | 2012-11-15 |
Continuous Monitoring of Stress Using Self-Reported Psychological or Behavioral Data App 20120289790 - Jain; Jawahar ;   et al. | 2012-11-15 |
Method and system for processing access control lists using a hashing scheme Grant 8,290,934 - Stergiou , et al. October 16, 2 | 2012-10-16 |
Selecting tags for a document by analyzing paragraphs of the document Grant 8,280,892 - Marvit , et al. October 2, 2 | 2012-10-02 |
Diagnosing Insulin Resistance App 20120197621 - Jain; Jawahar | 2012-08-02 |
Monitoring Insulin Resistance App 20120197622 - Jain; Jawahar | 2012-08-02 |
Diagnosis and Monitoring of Dyspnea App 20120130201 - JAIN; Jawahar | 2012-05-24 |
Diagnosis and Monitoring of Musculoskeletal Pathologies App 20120130202 - JAIN; Jawahar | 2012-05-24 |
Recording and Analyzing Data on a 3D Avatar App 20120127157 - ADLER; B. Thomas ;   et al. | 2012-05-24 |
Mood Sensor App 20120130196 - JAIN; Jawahar ;   et al. | 2012-05-24 |
Inductively-Powered Ring-Based Sensor App 20120130203 - STERGIOU; Stergios ;   et al. | 2012-05-24 |
Validating one or more circuits using one or more grids Grant 8,181,132 - Jain , et al. May 15, 2 | 2012-05-15 |
Automatic generation of ontologies using word affinities Grant 8,171,029 - Marvit , et al. May 1, 2 | 2012-05-01 |
Determining Optimum Variable Orders for BDDs Using Recursion App 20120089558 - Stergiou; Stergios ;   et al. | 2012-04-12 |
BDD Variable Reordering Using Parallel Permutation App 20120089555 - Stergiou; Stergios ;   et al. | 2012-04-12 |
Window Algorithm Using Maximal Parallelization App 20120089560 - Stergiou; Stergios ;   et al. | 2012-04-12 |
Determining Optimum Variable Orders for BDDs Using Pair-Wise Variable Grouping App 20120089557 - Stergiou; Stergios ;   et al. | 2012-04-12 |
Parallel Sifting Algorithm App 20120089561 - Stergiou; Stergios ;   et al. | 2012-04-12 |
Parallel Window Algorithm App 20120089559 - Stergiou; Stergios ;   et al. | 2012-04-12 |
Optimum Layer-Swapping Schedules for BDDs with Four Variables App 20120089556 - Stergiou; Stergios ;   et al. | 2012-04-12 |
Representing Sensor Data As Binary Decision Diagrams App 20120046913 - Stergiou; Stergios ;   et al. | 2012-02-23 |
Annotating Medical Data Represented By Characteristic Functions App 20120047136 - Stergiou; Stergios ;   et al. | 2012-02-23 |
Querying Sensor Data Stored As Binary Decision Diagrams App 20120047160 - Stergiou; Stergios ;   et al. | 2012-02-23 |
Annotating Binary Decision Diagrams Representing Sensor Data App 20120046919 - Stergiou; Stergios ;   et al. | 2012-02-23 |
Comparing Boolean Functions Representing Sensor Data App 20120047191 - Stergiou; Stergios ;   et al. | 2012-02-23 |
Annotating Environmental Data Represented By Characteristic Functions App 20120047137 - Stergiou; Stergios ;   et al. | 2012-02-23 |
Comparing Data Samples Represented By Characteristic Functions App 20120047194 - Stergiou; Stergios ;   et al. | 2012-02-23 |
Validating Sensor Data Represented By Characteristic Functions App 20120047116 - Stergiou; Stergios ;   et al. | 2012-02-23 |
Identifying An Event Occurrence From Sensor Data Streams App 20120042326 - Jain; Jawahar ;   et al. | 2012-02-16 |
Multi-Touch User Input Based on Multiple Quick-Point Controllers App 20120038674 - Stergiou; Stergios ;   et al. | 2012-02-16 |
Identifying clusters of words according to word affinities Grant 8,108,392 - Marvit , et al. January 31, 2 | 2012-01-31 |
Refining a search space in response to user input Grant 8,108,405 - Marvit , et al. January 31, 2 | 2012-01-31 |
Ranking nodes for session-based queries Grant 8,060,503 - Stergiou , et al. November 15, 2 | 2011-11-15 |
Compact decision diagrams Grant 8,041,665 - Stergiou , et al. October 18, 2 | 2011-10-18 |
System and method for evaluating an erroneous state associated with a target circuit Grant 7,788,556 - Jain , et al. August 31, 2 | 2010-08-31 |
Efficient computation of ontology affinity matrices App 20100211534 - Stergiou; Stergios ;   et al. | 2010-08-19 |
Method for verifying and representing hardware by decomposition and partitioning Grant 7,673,263 - Jain March 2, 2 | 2010-03-02 |
Method and System for Processing Access Control Lists Using a Hashing Scheme App 20100036820 - Stergiou; Stergios ;   et al. | 2010-02-11 |
Method and system for processing access control lists using an exclusive-or sum-of-products evaluator App 20100037016 - Stergiou; Stergios ;   et al. | 2010-02-11 |
Caching Query Results with Binary Decision Diagrams (BDDs) App 20100036835 - Stergiou; Stergios ;   et al. | 2010-02-11 |
Multithreaded reachability Grant 7,594,195 - Jain , et al. September 22, 2 | 2009-09-22 |
Validating One or More Circuits Using One or More Grids App 20090210212 - Jain; Jawahar ;   et al. | 2009-08-20 |
Circuit verification Grant 7,571,403 - Jain , et al. August 4, 2 | 2009-08-04 |
Ranking Nodes for Session-Based Queries App 20090171928 - Stergiou; Stergios ;   et al. | 2009-07-02 |
Validating one or more circuits using one of more grids Grant 7,546,563 - Jain , et al. June 9, 2 | 2009-06-09 |
Selecting Tags For A Document By Analyzing Paragraphs Of The Document App 20090094231 - Marvit; David L. ;   et al. | 2009-04-09 |
Modeling Topics Using Statistical Distributions App 20090094233 - Marvit; David L. ;   et al. | 2009-04-09 |
Automatically Generating A Hierarchy Of Terms App 20090094208 - Marvit; David L. ;   et al. | 2009-04-09 |
Identifying Clusters Of Words According To Word Affinities App 20090094207 - Marvit; David L. ;   et al. | 2009-04-09 |
Automatic Generation Of Ontologies Using Word Affinities App 20090094262 - Marvit; David L. ;   et al. | 2009-04-09 |
Refining A Search Space In Response To User Input App 20090094232 - Marvit; David L. ;   et al. | 2009-04-09 |
Determining A Document Specificity App 20090094021 - Marvit; David L. ;   et al. | 2009-04-09 |
Determining The Depths Of Words And Documents App 20090094209 - Marvit; David L. ;   et al. | 2009-04-09 |
Recommending Terms To Specify Ontology Space App 20090094020 - Marvit; David L. ;   et al. | 2009-04-09 |
Directed falsification of a circuit Grant 7,451,375 - Jain November 11, 2 | 2008-11-11 |
Efficient Indexing Using Compact Decision Diagrams App 20080243907 - Stergiou; Stergios ;   et al. | 2008-10-02 |
Compact Decision Diagrams App 20080243746 - Stergiou; Stergios ;   et al. | 2008-10-02 |
Verification And Reachability Using An Organic Approach App 20080109202 - Stergiou; Stergios ;   et al. | 2008-05-08 |
Disjunctive Transition Relation Decomposition Based Verification App 20080109201 - Stergiou; Stergios ;   et al. | 2008-05-08 |
Validating one or more circuits using one or more grids App 20080072190 - Jain; Jawahar ;   et al. | 2008-03-20 |
Circuit verification using multiple engines Grant 7,281,225 - Jain , et al. October 9, 2 | 2007-10-09 |
Reachability-based verification of a circuit using one or more multiply rooted binary decision diagrams Grant 7,280,993 - Jain October 9, 2 | 2007-10-09 |
Multithreaded Reachability App 20070124711 - Jain; Jawahar ;   et al. | 2007-05-31 |
Determining one or more reachable states in a circuit using distributed computing and one or more partitioned data structures Grant 7,216,312 - Jain , et al. May 8, 2 | 2007-05-08 |
Circuit Verification App 20060173666 - Jain; Jawahar ;   et al. | 2006-08-03 |
Generating a test sequence using a satisfiability technique Grant 7,076,712 - Prasad , et al. July 11, 2 | 2006-07-11 |
System and method for building a binary decision diagram associated with a target circuit Grant 7,065,722 - Jain June 20, 2 | 2006-06-20 |
Method for verifying and representing hardware by decomposition and partitioning App 20060129953 - Jain; Jawahar | 2006-06-15 |
Performing latch mapping of sequential circuits Grant 7,032,192 - Prasad , et al. April 18, 2 | 2006-04-18 |
System and method for executing image computation associated with a target circuit Grant 7,032,197 - Jain , et al. April 18, 2 | 2006-04-18 |
Circuit verification Grant 7,028,279 - Jain , et al. April 11, 2 | 2006-04-11 |
Method of verifying and representing hardware by decomposition and partitioning Grant 7,028,278 - Jain April 11, 2 | 2006-04-11 |
Directed falsification of a circuit App 20050149837 - Jain, Jawahar | 2005-07-07 |
Circuit verification using multiple engines App 20050138474 - Jain, Jawahar ;   et al. | 2005-06-23 |
System and method for verifying a plurality of states associated with a target circuit Grant 6,904,578 - Jain , et al. June 7, 2 | 2005-06-07 |
Generating a test sequence using a satisfiability technique App 20040237012 - Prasad, Mukul R. ;   et al. | 2004-11-25 |
Performing latch mapping of sequential circuits App 20040237057 - Prasad, Mukul R. ;   et al. | 2004-11-25 |
Determining one or more reachable states in a circuit using distributed computing and one or more partitioned data structures App 20040199887 - Jain, Jawahar ;   et al. | 2004-10-07 |
System and method for building a binary decision diagram associated with a target circuit App 20040103378 - Jain, Jawahar | 2004-05-27 |
Reachabilty-based verification of a circuit using one or more multiply rooted binary decision diagrams App 20040098682 - Jain, Jawahar | 2004-05-20 |
Circuit verification App 20040093571 - Jain, Jawahar ;   et al. | 2004-05-13 |
System and method for executing image computation associated with a target circuit App 20040093572 - Jain, Jawahar ;   et al. | 2004-05-13 |
System and method for verifying a plurality of states associated with a target circuit App 20040093570 - Jain, Jawahar ;   et al. | 2004-05-13 |
System and method for evaluating an erroneous state associated with a target circuit App 20040093541 - Jain, Jawahar ;   et al. | 2004-05-13 |
Method of verifying and representing hardware by decomposition and partitioning App 20040015799 - Jain, Jawahar | 2004-01-22 |
Method for verifying and representing hardware by decomposition and partitioning Grant 6,560,758 - Jain May 6, 2 | 2003-05-06 |
Multiple error and fault diagnosis based on Xlists Grant 6,532,440 - Boppana , et al. March 11, 2 | 2003-03-11 |
Verification of sequential circuits with same state encoding Grant 6,408,424 - Mukherjee , et al. June 18, 2 | 2002-06-18 |
OBDD variable ordering using sampling based schemes Grant 6,389,374 - Jain , et al. May 14, 2 | 2002-05-14 |
Method for verification of combinational circuits using a filtering oriented approach Grant 6,301,687 - Jain , et al. October 9, 2 | 2001-10-09 |
Method for verifying and representing hardware by decomposition and partitioning Grant 6,212,669 - Jain April 3, 2 | 2001-04-03 |
Method for verification of combinational circuits using a filtering oriented approach Grant 6,086,626 - Jain , et al. July 11, 2 | 2000-07-11 |
Topology-based computer-aided design system for digital circuits and method thereof Grant 5,649,165 - Jain , et al. July 15, 1 | 1997-07-15 |