HVC
2007
Springer
14 years 3 months ago
2007
Springer
HVC
2007
Springer
14 years 3 months ago
2007
Springer
The paper presents a new approach to formal verification of generic (i.e. parametrised) hardware designs specified in VHDL. The proposed approach is based on a translation of suc...
HVC
2007
Springer
14 years 3 months ago
2007
Springer
HVC
2007
Springer
14 years 3 months ago
2007
Springer
Modern hardware designs are typically based on multiple clocks. While a singly-clocked hardware design is easily described in standard temporal logics, describing a multiply-clocke...
FPL
2007
Springer
14 years 3 months ago
2007
Springer
FPL
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents a new approach to the FPGA implementation of image filters which are utilized to remove the saltand-pepper noise of high intensity (up to 70% of corrupted pix...
FPL
2007
Springer
14 years 3 months ago
2007
Springer
An important step in Heterogeneous System Development is Hardware/Software Partitioning. This process involves exploring a huge design space. By using profiling to select hot-spo...
FPL
2007
Springer
14 years 3 months ago
2007
Springer
The effect of kernel operations on cache optimisations in a soft-core reconfigurable system is important for dynamic cache switching design. Considering kernel operations changes ...
FPL
2007
Springer
14 years 3 months ago
2007
Springer
A temporal correlation based port combination algorithm that customizes the router design in Network-on-Chip (NoC) is proposed for reconfigurable systems in order to minimize req...
FPL
2007
Springer
14 years 3 months ago
2007
Springer
Numerical non-robustness is a recurring phenomenon in scientific computing. It is primarily caused by numerical errors arising because of fixed-precision arithmetic in integer and...