-Design verification via simulation is an important component in the development of digital systems. However, with continuing increases in the capabilities of VLSI systems, the simulation task has become a significant bottleneck in the design process. As a result, researchers are attempting to exploit parallel processing techniques to improve the performance of VLSI logic simulation. This tutorial describes the current state-of-the-art in parallel logic simulation, including parallel simulation techniques, factors that impact simulation performance, performance results to date, and the directions currently being pursued by the research community.

Thrombotic thrombocytopenia purpura (TTP) is a hematological emergency that requires rapid assessment followed by prompt initiation of therapy due to high mortality associated with delayed treatment. TTP has many causes including heritable syndromes, ADAMTS13 deficiency, and drugs-related etiologies. Profound vitamin B12 deficiency can, in rare cases, mimic TTP in presentation, and since plasmapheresis can be of limited benefit, prompt diagnosis is necessary for accurate treatment with B12. Therefore, careful analysis of all clinical signs, symptoms, and labs must be assessed. We report a patient who presented with a diagnosis of TTP, and repeat assessment confirmed a diagnosis of sever vitamin B12 (B12) deficiency with pancytopenia who was appropriately treated with B12.

No abstract

Voyeur is a prototype system that facilitates the construction of application-specific, visual views of parallel programs. These views range from textual views showing the contents of variables to graphical maps of the state of the computational domain of the program. These views have been instrumental in quickly detecting bugs that would have been difficult to detect otherwise.

No abstract