دليل المواد | الشئون الأكاديمية

Hands-on design and implementation of computer system design. Use of CAD tools for schematic capture and Verilog HDL based simulation and synthesis. Design and implementation of data path functional units and I/O subsystem of traditional computer systems using sophisticated logic devices such as CPLDs and FPGAs.

This course addresses design, modeling, analysis, and integration of hardware and software to achieve dependable computing systems employing on-line fault-tolerance. It covers the concepts and terminologies of Fault-Tolerant System Design including: reliability, dependability, maintainability, redundancy, damage confinement, error recovery, fault treatment, redundancy management, voting, information redundancy, combinatorial and sequential network testing, error detecting and correcting codes, self-checking circuits, and diagnostic theory.

Propositional and predicate logics: syntax and semantics, validity and inference, etc. Deductive tableaux notation and its rules: resolution, equality, equivalence, and rewriting. Axiomatic theories and theories with induction. Verification of implementation and specification using deductive tableaux.

Principles and practices involved in the design, implementation, testing, and evaluation of standard-cell ASIC chips using automated state-of-the-art CAD tools. Topics include hardware description languages, CMOS logic, Finite state machine theory and implementation, and interconnect fundamentals, chip design methodologies, automated cell-based design, CAD algorithms, details of accurately modeling ASIC delay, energy, and area, robustness issues, testing, verification, and debugging, power distribution and clocking, packaging and I/O.

This course is a study of techniques and processes for the design of digital systems. The focus is on the design of system modules derived from functional and interface specifications. A progression of designs, culminating in the design of a digital central processing unit and its peripheral units, will be used to illustrate both design and test techniques and procedures. This course will use a modern high level Hardware Design Language (HDL) as the main design tool. While implementation at the logic component (gate) level will be considered, the focus will be on system-level design and higher level behavioral modeling.

This course introduces software testing and quality assurance engineering concepts, processes, models, criteria, and methods. The course covers topics including software unit testing, integration, function validation, system performance and reliability evaluation; software security testing methods and tools; software quality management, control systems, standards, and evaluation metrics. Students are asked to demonstrate proficiency in managing a software project to customer requirements and proficiency in quality assurance and testing through class exercises and a project

This course covers the following topics in depth: requirements engineering; eliciting and coping with changing and evolving requirements; Students are introduce to in-depth study of current research and practice in requirements elicitation, requirements analysis, requirements specifications, requirements verification and validation, and requirements management.

This course describes the key aspects of a software project management including software project planning, software validation, verification and testing techniques and strategies, software quality assurance, process improvement, software evolution, estimating software cost and schedule, change and configuration management, risk engineering, and continuous process improvement. This course includes a project developed in a team.

This course is designed for senior level students in computer engineering. It gives them exposure to special topics in computer engineering. Topics may vary each time the course is offered. Details of the course including: prerequisites, textbook, objectives, and topics to be covered, course specific outcomes etc. should be posted on the course page of the department at the time of offering.

Approaches to the development of systems in computer engineering, the special problems and the issues, primarily through hands-on design experiences and development of professional skills. The course provides information about the principles, methods and skills that are essential to engineering design. Concept of a life-cycle, nature of life cycle models, and phases of typical life cycles. Ethics and legal issues. Quality issues, process and process improvement. Issue of teams, team selection, roles in teams, and elements of teamwork. Selection of design and design alternatives for experiments, selection of test cases, support tools, standards and emerging technologies. Techniques and approaches associated with the different phases, special problems of design and the issues associated with tradeoffs, special problems of hardware/software tradeoffs, specifications and requirements engineering, design and architecture, testing, integration, maintenance, oral and written technical communication.

This course contributes a capstone design experience in computer engineering. Typically it would require the student to build on the aggregated knowledge gained in previous years, designing their own experiments, and developing their own test cases. Students will have design experience involving hardware and/or software systems to meet the desired needs within realistic constraints such as economic, environment, social, political, ethical, health and safety, manufacturability, and sustainability. Use of skills in design tools and practices, integration, test plans, implementation, experimental validation, maintenance, functional teaming, oral and written technical communication.

Introduction to Digital Image Processing covering digital techniques for image representation, enhancement, compression and restoration. Students will learn the fundamentals behind image processing methods and algorithms. We assume students have an understanding of linear systems and calculus. In addition, it is also helpful to have a familiarity with elementary probability theory and linear algebra.

Machine learning, statistical pattern classification, feature extraction and selection, various learning algorithms, cluster analysis, image processing, syntactic approach and practical applications on analysis of various biomedical data, character recognition, and speech recognition.

Selected advanced Operating Systems topics; control of disks and other input/output devices; file-system structure and implementation; network structures; distributed system structures and file systems; introduction to distributed and real-time systems; distributed algorithms; logical clocks; reliability and security; case studies.

Selected topics in the area of software engineering such as emerging areas of research in software engineering; Object-oriented design and analysis; Configuration management; Software testing; Reverse engineering; Software reusability; Distributed and web-based software development; Fault-tolerant software development; Case tools for design and analysis, configuration management, and testing.