Sciweavers

951 search results - page 35 / 191
» Hardware design experiences in ZebraNet
Sort
View
ICCAD
2001
IEEE
113views Hardware» more  ICCAD 2001»
14 years 4 months ago
The Design and Optimization of SOC Test Solutions
1 We propose an integrated technique for extensive optimization of the final test solution for System-on-Chip using Simulated Annealing. The produced results from the technique ar...
Erik Larsson, Zebo Peng, Gunnar Carlsson
DATE
2006
IEEE
117views Hardware» more  DATE 2006»
14 years 1 months ago
Formal verification of systemc designs using a petri-net based representation
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
Daniel Karlsson, Petru Eles, Zebo Peng
ATS
2002
IEEE
95views Hardware» more  ATS 2002»
14 years 18 days ago
Effective Error Diagnosis for RTL Designs in HDLs
We propose an effective approach to diagnose multiple design errors in HDL designs with only one erroneous test case. Error candidates will be greatly reduced while ensuring that ...
Tai-Ying Jiang, Chien-Nan Jimmy Liu, Jing-Yang Jou
DATE
2003
IEEE
113views Hardware» more  DATE 2003»
14 years 28 days ago
Design Space Exploration for a Wireless Protocol on a Reconfigurable Platform
This paper describes a design space exploration experiment for a real application from the embedded networking domain - the physical layer of a wireless protocol. The application ...
Laura Vanzago, Bishnupriya Bhattacharya, Joel Camb...
SIGMETRICS
2010
ACM
153views Hardware» more  SIGMETRICS 2010»
13 years 2 months ago
Using virtualization and live migration in a scalable mobile wireless testbed
Laboratory-based mobile wireless testbeds such as MeshTest and the CMU Wireless Emulator are powerful platforms that allow users to perform controlled, repeatable, mobile wireless ...
Dongwoon Hahn, Ginnah Lee, Brenton D. Walker, Matt...