Utah CS 5750
Synthesis and Verification of Asynchronous VLSI Systems
Course Description
Raw: Meets with ECE/CS 6750. Introduction to systematic methods for the design of asynchronous VLSI syste
Stemmed: meet introduct systemat method design asynchron vlsi system high level specif effici reliabl circuit
Inferred Topics
-
52
(0.307616) system, softwar, design, hardwar, architectur, program, time, applic, embed, devic
(0.946) Utah CS 6785 Advanced Embedded Software
(0.945) Utah CS 5785 Advanced Embedded Software
(0.846) SC CSCE 313 Embedded Systems
(0.728) Utah CS 5780 Embedded System Design
(0.635) Utah CS 6780 Embedded System Design
(0.582) GMU CS 773 Real-Time Systems Design and Development
(0.575) KSU CIS 625 Concurrent Software Systems
(0.551) KSU CIS 750 Advanced Computer Architecture Experiments
(0.528) KSU CIS 622 Real-Time Operating Systems
(0.489) UTK COSC 100 Introduction to Computers and Computing
(0.466) LSU CSC 2463 Programming Digital Media
(0.444) PDX CS 597 Sensor Networks
(0.429) Utah CS 6360 Virtual Reality
(0.414) KSU CIS 721 Real-Time Systems
(0.402) PDX CS 497 Sensor Networks
(0.345) ACM KA 0 Architecture and Organization (AR)
(0.340) PDX CS 202 Programming Systems
(0.339) GMU CS 367 Computer Systems and Programming
(0.330) GMU CS 755 Advanced Computer Networks
(0.322) KSU CIS 225 Personal Computer Systems Administration
(0.308) Utah CS 5750 Synthesis and Verification of Asynchronous VLSI Systems
(0.294) RPI CSCI 4480 Robotics I
(0.293) UTK COSC 291 Lower-Division Special Topics
(0.289) KSU CIS 762 Office Automation
(0.289) KSU CIS 726 Advanced World Wide Web Technologies
(0.284) PDX CS 447 Computer Graphics
(0.276) PDX CS 579 Formal Verification of Hardware/Software
(0.267) Utah CS 5460 Operating Systems
(0.262) Utah CS 4540 Web Software Architecture
(0.256) GMU CS 719 Scalable Internet Services
(0.256) PDX CS 547 Computer Graphics
(0.256) GMU CS 475 Concurrent and Distributed Systems
(0.227) SC CSCE 215 UNIX/Linux Fundamentals
(0.219) LSU CSC 4304 Systems Programming
(0.218) SC CSCE 374 Robotic Applications and Design
(0.215) Utah CS 5789 Embedded Systems and Kinetic Art
(0.204) GMU CS 477 Mobile Application Development
(0.199) RPI CSCI 4210 Operating Systems
(0.199) Stanford CS 155 Computer and Network Security (EE 287A)
(0.199) GMU CS 555 Computer Communications and Networking
(0.198) SC CSCE 611 Advanced Digital Design
(0.189) ACM EC 0 Digital Components and Design
(0.173) GMU CS 884 Advanced Topics in Computer Vision and Robotics
(0.166) Stanford CS 395 Independent Database Project
(0.166) KSU CIS 690 Implementation Project
(0.164) PDX CS 105 Computing Fundamentals I
(0.162) Utah CS 6110 Formal Methods for System Design
(0.159) AU CSC 540 Computer System Organization and Programming
(0.157) ACM EC 0 Introduction to Computer Architecture
(0.154) ACM EC 0 Introduction to Systems and Networking
(0.153) PDX CS 572 Operating Systems Internals
(0.153) LSU CSC 7300 Algorithm Design and Analysis
-
21
(0.272244) circuit, design, digit, integr, logic, simul, fault, test, cmo, tool
(0.925) Utah CS 5745 Testing and Verification of Digital Circuits
(0.864) Utah CS 6745 Testing and Verification of Digital Circuits
(0.761) Utah CS 6710 Digital VLSI Design
(0.718) Utah CS 5710 Digital VLSI Design
(0.689) SC CSCE 612 VLSI System Design
(0.654) ACM EC 0 Digital Components and Design
(0.619) Utah CS 5720 Analog Integrated Circuit Design
(0.567) Utah CS 6712 Digital IC Projects Testing
(0.522) Utah CS 6721 Analog Integrated Circuits Lab
(0.495) Utah CS 3700 Fundamentals of Digital System Design
(0.488) SC CSCE 613 Fundamentals of VLSI Chip Design
(0.467) Utah CS 5830 VLSI Architecture
(0.448) Utah CS 6722 Analog IC Projects Testing
(0.421) AU CSC 330 Organization of Computer Systems
(0.408) Utah CS 5740 Computer-Aided Design of Digital Circuits
(0.363) Utah CS 6770 Advanced Digital VLSI Systems Design
(0.272) Utah CS 5750 Synthesis and Verification of Asynchronous VLSI Systems
(0.264) KSU CIS 710 Computer Simulation Experiments
(0.197) Utah CS 3710 Computer Design Laboratory
(0.195) SC CSCE 611 Advanced Digital Design
(0.192) Utah CS 6760 Modeling and Analysis of Biological Networks
-
8
(0.204128) visual, graphic, comput, percept, statist, perceptu, imag, displai, specif, includ
(0.979) Utah CS 5650 Visual Perception from a Computer Graphics and Visualization Perspective
(0.951) Utah CS 6650 Visual Perception from a Computer Graphics and Visualization Perspective
(0.578) Utah CS 5130 Computational Statistics
(0.578) Utah CS 6130 Computational Statistics
(0.204) Utah CS 5750 Synthesis and Verification of Asynchronous VLSI Systems
(0.195) SC CSCE 567 Visualization Tools
(0.151) ACM KA 0 Graphics and Visualization (GV)
(0.151) UTK COSC 456 Computer Graphics