Computer Systems Design Laboratory (CSDL)

The Computer Systems Design Laboratory (CSDL) focuses on the design, implementation and verification of systems whose primary components include computers. CSDL research addresses the design of computing systems ranging from small embedded elements to large distributed computing environments covering all aspects of the system lifecycle from requirements analysis through testing and validation.

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