242 search results - page 17 / 49 » Verification via Structure Simulation |
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
In this paper we examine a class of multiple-input, singleoutput (MISO) nonlinear systems of the block-oriented structure. In particular, we focus on MISO Hammerstein systems bein...
SPIN
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
GMP
2002
IEEE
14 years 2 months ago
2002
IEEE
A new computational method that creates a hex-dominant mesh of an arbitrary 3D geometric domain is presented. The proposed method generates a high-quality hexdominant mesh by: (1)...
EUROPAR
2001
Springer
14 years 2 months ago
2001
Springer
Operand bypass logic might be one of the critical structures for future microprocessors to achieve high clock speed. The delay of the logic imposes the execution time budget to be ...
CHARME
2005
Springer
13 years 12 months ago
2005
Springer
Abstract. Automatic formal verification techniques generally require exponential resources with respect to the number of primary inputs of a netlist. In this paper, we present sev...