Assertion based debugging and monitoring of distributed systems
This thesis presents the steps taken in the design of a portable sleep study system. The kit enables a wireless sleep study of patients at hospitals and also covers the design issues involved for creating a PCB for the same. The intended users are researchers and students interested in a flexible an...
Main Author: | Kallankara, Vivek |
---|---|
Other Authors: | Katarzyna Radecka (Internal/Cosupervisor2) |
Format: | Others |
Language: | en |
Published: |
McGill University
2011
|
Subjects: | |
Online Access: | http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=96928 |
Similar Items
-
Assertion-checker synthesis for hardware verification, in-circuit debugging and on-line monitoring
by: Boulé, Marc
Published: (2008) -
Optimizing assertions in semi-formal assertion- based verification
by: Sarraf, Danny
Published: (2013) -
Programmable phase/frequency generator for system debug and diagnosis
by: Tsai, Tsung-Yen
Published: (2011) -
Hardware-based temporal logic checkers for the debugging of digital integrated circuits
by: Chenard, Jean-Samuel
Published: (2012) -
Debug instrumentations and fault-tolerant techniques for on-chip networks
by: Neishabouri, MohammadHossein
Published: (2014)