453 search results - page 73 / 91 » Using Symbolic Simulation for Bounded Property Checking |
110
click to vote
IANDC
2010
15 years 28 days ago
2010
For two naturals m, n such that m < n, we show how to construct a circuit C with m inputs and n outputs, that has the following property: for some 0 ≤ k ≤ m, the circuit deï...
105
Voted
ISSAC
2007
Springer
15 years 8 months ago
2007
Springer
Given a lattice basis of n vectors in Zn, we propose an algorithm using 12n3 + O(n2) floating point operations for checking whether the basis is LLL-reduced. If the basis is redu...
SSS
2007
Springer
15 years 8 months ago
2007
Springer
Flood is a communication primitive that can be used by the base station of a sensor network to send a copy of a message to every sensor in the network. When a sensor receives a fl...
114
click to vote
HYBRID
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
122
Voted
TVLSI
2008
15 years 2 months ago
2008
We present a selective encoding method that reduces test data volume and test application time for scan testing of Intellectual Property (IP) cores. This method encodes the slices ...