1466 search results - page 124 / 294 » Completeness of the Authentication Tests |
DSD
2002
IEEE
14 years 1 months ago
2002
IEEE
We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by flip-flops and gates. The...
ITC
2002
IEEE
14 years 1 months ago
2002
IEEE
This paper develops a novel approach for formally verifying both safety and liveness properties of designs using sequential ATPG tools. The properties are automatically mapped int...
VR
2002
IEEE
14 years 1 months ago
2002
IEEE
While frameworks and application programming interfaces for virtual reality are commonplace today, designing scenarios for virtual environments still remains a tedious and time co...
ADG
1998
Springer
14 years 10 days ago
1998
Springer
Abstract. This paper describes a complete implementation of Ritt-Wu's characteristic sets method in the Maple system. The implemented algorithms include those with variants fo...
ARVLSI
1997
IEEE
14 years 10 days ago
1997
IEEE
IBM founded the Austin Research Laboratory to investigate high-performance microprocessorbased systems. Initial e orts have focused on design for high frequency. This resulted in ...