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

Partner with ITTC

The Information and Telecommunication Technology Center at the University of Kansas has developed several assistance policies that enhance interactions between the Center and local, Kansas, or national companies. 

ITTC assistance includes initial free consulting (normally one to five hours). If additional support is needed, ITTC will offer one of the following approaches: 

Sponsored Research Agreement

Individuals and organizations can enter into agreements with KUCR/ITTC and provide funds for sponsored research to be performed at ITTC with the assistance of faculty, staff and students.

Licensing and Royalty/Equity Agreement

An ITTC goal is the development of investment-grade technologies for transfer to, and marketing by, local, Kansas, and national businesses. To enhance this process, the Center has developed flexible policies that allow for licensing, royalty, and equity arrangements to meet both the needs of ITTC and the company.

Commercialization Development

Companies with a technology need that can be satisfied with ITTC's resources can look to us for assistance. We can develop a relationship with interested partners that will provide for the development of a technology suited for commercialization.

ITTC Resource Access

ITTC resources, including computers and software systems, may be made available to Kansas companies in accordance with the Center's mission and applicable Regents and University policies.

ITTC Calendar
There are no upcoming events at this time.