Spring 2006 - EECS 219A

Computer-Aided Verification of Electronic Circuits and Systems 

 

 

Homework grading

Each part of every homework will be graded based on passing the following two criteria: correctness and effort.

 

Correctness will be judged based on the “closeness” of your answer to a correct answer. If we judge it is close enough, correctness will receive a "pass". A completely correct homework will automatically "pass" in effort as well. A homework problem could get a "no-pass" in correctness, but could get a "pass" on effort. All answers will be based on the explanation, as well as the final bottom line, measured not by the amount of written comments, but by the clarify of them, and by the correct reasoning in the write-up. Our main objective is to make everyone think in-depth about each problem.

 

A “no-pass” will be given if the homework is incorrect and there is no indication of effort to solve it, or if the homework was not submitted on time and lacks a proper excuse.

Homework deadline

Each homework deadline is midnight on the day when it is due. Extensions up to one week may be given, subject to individual approval and a good reason. A request for an extension should be sent by email to both <brayton@eecs.berkeley.edu> and <alanmi@eecs.berkeley.edu> before the deadline. Homework solutions will be published on the web one week after the official deadline.

 

Guidelines for submitting homework

 

(1)   The homework is submitted by email only. Please no paper copies.

(2)   The homework is always sent to two email addresses: <brayton@eecs.berkeley.edu> and <alanmi@eecs.berkeley.edu>.

The same is true about all correspondence related to homework, such as questions about grading or a request for extension.

 

(3)   Subject line of the email containing the homework is: EECS 219A: HW<number>

(4)   Each homework by each student is submitted in one email.

 

Please, no multiple emails! Multiple emails make it very hard to keep track of what files should be used for grading, especially when multiple problems have to be solved. If you decide to resubmit your homework before the deadline because of an error or a later improvement, please include not only the modified file(s), but also all relevant files for this homework. In this case, your previous submission(s) will be ignored and only the last submission will be considered for grading.

 

(5)   All the MATLAB script files and written notes should be included in your homework email as multiple attachments, or as one compressed attachment.

 

Please no copying-and-pasting of scripts/notes into the body of the email messages.

(6)   The homework submission should include all the MATLAB scripts needed to perform the required tasks in a working condition, and a write up with

·   short description what each script is doing,

·   the order, in which to run them to produce the desired result,

·   the result (if it is a number, a matrix, or a visualization),

·   short but specific answers to the questions, asked in the paper describing the homework assignment.

All the files submitted as part of the homework are named as follows:

 

hw<number>_problem<number>_(optional)<any_descriptive_words>.<extension>

 

This applies to both script files and files with written notes. It is okay to have one file of written notes for all the problems in one homework. In this case, please clearly indicate where the answer to each problem begins and ends.

 

(7)   Every submitted file should contain a header part with the following information:

·   the author,

·   date and time of creation or last modification,

·   homework number,

·   problem number, 

·   a short summary of what is in the file.

 

Please follow these guidelines to simplify the work of grading. Your assistance will be greatly appreciated! In case of deviations, a request will be sent to resubmit the homework according to the guidelines.

 

Homework topics

 

  1. Formulating equations
  2. Solving systems of linear equations – Gaussian elimination
  3. Solving linear equations – GCR and Krylov subspace methods
  4. Solving nonlinear equations – Newton methods
  5. Finite difference methods for solving differential equations
  6. Solving integral equations

 

Newton method contest

 

Description is at the end of HW4.

 

Homework schedule

 

Month

Day

Handout

Due

Jan

20

 

 

 

27

1 + files

 

Feb

3

 

 

 

10

2

1

 

17

 

 

 

24

3 + files

2

Mar

3

 

 

 

10

4 + files

3

 

17

 

 

 

24

5

4

 

31

Spring

Break

Apr

7

 

 

 

14

6 + files

5

 

21

 

 

 

28

 

6

May

5