Automatic assertion extraction in gate-level simulation using GPGPUs
S Ono, T Matsumoto, M Fujita - 2012 IEEE 30th International …, 2012 - ieeexplore.ieee.org
In modern VLSI designs, assertions play an important role to understand design intention
and ensure correctness of designs. In this paper, we consider to generate assertions from …
and ensure correctness of designs. In this paper, we consider to generate assertions from …
Analysis and Extraction of Season Features in Natural Scenes for Retrieval
K Huang, M Lai - … Computing, Information and Control-Volume I …, 2006 - ieeexplore.ieee.org
Most of the current image database systems depend on visual content to index images,
which only provide a partial solution to the image retrieval problem. Natural Scenes are …
which only provide a partial solution to the image retrieval problem. Natural Scenes are …