Computer Systems Design Laboratory (CSDL)
Lab Resources
KU Real Time (KURT) Linux
Smart GDB debugging environment
C, C++, GDB and associated support tools
Rosetta specification language
Raskell evaluation environment
PVS, SPIN, Isabelle, HOL and SAT analysis software
Protocols for ad hoc sensor networks
Network testing and measurement tools
Network simulation and modeling tools
Xilinx and Altera FPGA/SoC prototyping systems
Synplicity and Xilinx FPGA synthesis tools
ModelSim VHDL/Verilog simulation tools
Bugzilla and CVS project management tools
Hardware and software design experience:
- Specification languages and semantics
- Language interpreters, analyzers, and compilers
- Real-time and distributed operating systems
- Distributed simulation systems
- Embedded software and hardware systems
- FPGA-based OS primitives
- Reconfigurable Systems-on-chip
- VHDL/Verilog modeling, simulation and synthesis