Membership
Tour
Register
Log in
Tayung Liu
Follow
Person
Sunnyvale, CA, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Circuit verification on a distributed database processing system
Patent number
10,311,184
Issue date
Jun 4, 2019
Synopsys, Inc.
Tayung Liu
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Power-aware debugging
Patent number
8,176,453
Issue date
May 8, 2012
Springsoft USA, Inc.
Kai Yang
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Incremental circuit re-simulation system
Patent number
7,571,086
Issue date
Aug 4, 2009
Springsoft USA, Inc.
Ying-Tsai Chang
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
IC behavior analysis system
Patent number
7,079,997
Issue date
Jul 18, 2006
Novas Software, Inc.
Yu-Chin Hsu
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System for characterizing simulated circuit logic and behavior
Patent number
7,031,899
Issue date
Apr 18, 2006
Novas Software, Inc.
Yu-Chin Hsu
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Circuit property verification system
Patent number
6,985,840
Issue date
Jan 10, 2006
Novas Software, Inc.
Yu-Chin Hsu
G01 - MEASURING TESTING
Patents Applications
last 30 patents
Information
Patent Application
Circuit Verification on a Distributed Database Processing System
Publication number
20170255727
Publication date
Sep 7, 2017
Synopsys, Inc.
Tayung Liu
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
POWER-AWARE DEBUGGING
Publication number
20100192115
Publication date
Jul 29, 2010
SPRINGSOFT USA, INC.
Kai Yang
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Incremental circuit re-simulation system
Publication number
20070106488
Publication date
May 10, 2007
Ying-Tsai Chang
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
System for characterizing simulated circuit logic and behavior
Publication number
20020147576
Publication date
Oct 10, 2002
Yu-Chin Hsu
G06 - COMPUTING CALCULATING COUNTING