 |
|
|
|
|
|
| Moed B form is on the web | Moed B form is now on the web.
See under material->Exams
Amir |
|
| Created on 10/11/2006, 17:21:31 |
|
|
|
|
|
|
|
|
|
|
|
|
| Moed C | Hi,
Moed C wil take place on November 16th, at 16:30 in Taub 8.
Note that you must register in advance to take this exam
My reception hours before the exam will take place on Sunday, November 12th at 16:30 in Tabu 307, but only if at least one person lets me know he / she is coming 24 hours in advance
Amir |
|
| Created on 8/11/2006, 13:06:04 |
|
|
|
|
|
|
|
|
|
|
|
|
| Final Grades are on the web | Final grades (to those who took Moed A or Moed B) are now on the web.
The grade is calculated in the following way:
Final1 = Min{100, (0.05*Bonus_HW + 0.1*BFM_HW + 0.1*PSL_HW + 0.1*GEN_HW + 0.2*LAST_HW + 0.5*Test_Grade)}
The course average is 85.6
Amir |
|
| Last updated on 30/10/2006, 10:55:38 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW5 Grades are now on the web | HW5 grades are now on the web
The hardcopies will be returned to the CS faculty by Tuesday
Each hardcopy has a single sheet stapled to it with all my comments (In addition to my regular, vicious, code review)
Final course grades (to those who attended Moed A or B) will be published in a couple of days
Amir |
|
| Created on 29/10/2006, 23:11:50 |
|
|
|
|
|
|
|
|
|
|
|
|
| Moed B grades published | Moed B grades are now on the web.
Six students have taken the test. All have passed.
The average grade is 74.5 (Median = 73).
Four point factor was given (so when you see you exam notebooks there is a difference...)
The exams will be given to the CS secretaries on sunday
Amir
|
|
| Created on 26/10/2006, 16:43:40 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW5 submission postponed by 24 hours | HW5 submission has be postponed by 24 hours due to multiple requests
THERE WILL BE NO MORE POSTPONMENTS!!!!
Amir |
|
| Created on 15/10/2006, 17:18:47 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW5 & Moed B | A few reminders:
- HW5 is due on Sunday (by midnight). Don't forget to submit a hardcopy
- Moed B will be held on Thursday, October 19th, at 9:00 in Taub 5
I plan on holding reception hours on Monday, at 13:00 - the reception hours will be held ONLY if someone lets me know in advance that he plans on coming
Amir |
|
| Created on 12/10/2006, 09:09:48 |
|
|
|
|
|
|
|
|
|
|
|
|
| Moed A form published | The Moed A form, along with the description of the common mistakes, is now on the web
See Course Material -> Exams
Amir |
|
| Created on 16/9/2006, 17:38:08 |
|
|
|
|
|
|
|
|
|
|
|
|
| Moed A grades published | Moed A grades are now on the web.
Nine students have taken the test. One student failed.
The average grade is 74.67 (Median = 73).
Ten point factor was given (so when you see you exam notebooks there is a difference...)
The exams will be given to the CS secretaries on sunday
Amir
|
|
| Created on 14/9/2006, 18:27:27 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW4 Grades published | HW4 grades are now on the web.
The hardcopies will be returned to the boxes in the CS Taub building tomorrow (Wednesday)
Amir |
|
| Created on 12/9/2006, 23:01:54 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW3 Grades published | A partial solution, along with comments related to common mistakes, is on the web
Amir |
|
| Last updated on 1/9/2006, 14:11:29 |
|
|
|
|
|
|
|
|
|
|
|
|
| Change in my reception hours time | Hi,
My reception hours will be held on Sunday, September 3rd, at 18:00
I'll review the material covered in the course tutorials, and answer questions.
Amir |
|
| Created on 31/8/2006, 21:29:03 |
|
|
|
|
|
|
|
|
|
|
|
|
| Announcements about the test and HW5 | The submission of HW5 has been postponed until October 15th, no additional postponments are available because of the deadline to submit grades
Avi's reception hours before the exam will take place on Tuesday, August 29 at 16:30 in Taub 4 (until 18:30)
My reception hours will be on Sunday, September 3rd, at 10:00 - 12:00 in Taub 201 (The seminar room near the entrance)
Please send questions you have in advance by mail
HW3 & HW4 will (hopefully) be graded by the beginning of next week
Amir |
|
| Created on 23/8/2006, 13:57:36 |
|
|
|
|
|
|
|
|
|
|
|
|
| Few Announcements | I hope that everyone is doing well despite the situation.
There are few important announcements regarding the course:
1. It is not yet decided if the Spring term exams will be renewed,
but if they are renewed according to the current plan, the final
exam will take place on Thursday September 7, instead of
Wednesday September 6. Announcement regarding the exact
time and room for the exam will be given later.
If anybody has a problem with this specific date or the entire
period of exams, please let me know (at aziv il.ibm.com)
as soon as possible.
2. Submission of homework 5 will be postponed until the latest date
possible. I am not sure what is this date, but I estimate that
it will be sometime between Rosh Hashana and Sukot.
Again, when I have an exact date I will let you know.
3. The following topics will NOT be covered in the final exam:
- VHDL,
- Simulation Techniques (including acceleration, emulation, etc.),
- Model Checking.
Avi |
|
| Created on 14/8/2006, 10:19:40 |
|
|
|
|
|
|
|
|
|
|
|
|
| A few announcements | Hi,
1. According to the new exam schedule, moed A exam will be held on 6/9. Once this becomes final, we will schedule reception hours
2. The tools document (under Material->Misc) has been updated to include the commands needed to run Specman in batch mode
3. HW 4 grades will be published by mid next week. The grading of HW 3 will require a few more days.
4. FAQ Folder for HW5 has been created. Make sure you take a look there from time to time...
Amir |
|
| Last updated on 2/8/2006, 10:16:28 |
|
|
|
|
|
|
|
|
|
|
|
|
| Moed A exams postponed | As you probably already know, there will be no exams in the Technion this week.
In addition, the review scheduled to Tuesday is also postponed until further notice
Amir |
|
| Created on 17/7/2006, 22:50:52 |
|
|
|
|
|
|
|
|
|
|
|
|
| Old exams are on the web | Exams from last year's course (along with Moed A solution) are now on the web
See the course metrial section
Amir
|
|
| Created on 15/7/2006, 22:44:55 |
|
|
|
|
|
|
|
|
|
|
|
|
| Review Session | Review session will be held on Tuesday August 18 at 17:30.
I will send the room when I have it.
Avi |
|
| Created on 13/7/2006, 21:35:07 |
|
|
|
|
|
|
|
|
|
|
|
|
| All lectures in one slide per page are now on the web | |
| Created on 12/7/2006, 22:06:06 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW5 is now on the web | submission date is September 1st, 23:55
Amir |
|
| Created on 10/7/2006, 11:42:02 |
|
|
|
|
|
|
|
|
|
|
|
|
| Submission of HW4 postponed | Hi,
Submission of HW4 has been postponed by 24 hours.
Amir |
|
| Created on 4/7/2006, 19:21:15 |
|
|
|
|
|
|
|
|
|
|
|
|
| Slides for Final Lecture | The slides for the last lecture on "Completing the Verification Cycle"
are on the web
Avi
|
|
| Created on 3/7/2006, 16:01:56 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW3 submission postponed | The submission of HW3 (PSL) has been postponed.
The new deadline is July 11th, 23:55
Amir |
|
| Created on 2/7/2006, 17:23:51 |
|
|
|
|
|
|
|
|
|
|
|
|
| Announcements | 1) A complementary tutorial will take place on Sunday, July 2nd, at 16:30 in Taub 4
2) HW3 - PSL: There is no need to cover ALL items defined, but AT LEAST ONE of each type. see the FAQ section for more
|
|
| Created on 28/6/2006, 13:55:24 |
|
|
|
|
|
|
|
|
|
|
|
|
| Slides for Model Checking Lecture | The slides for the incoming lecture on model checking
(a guest lecture by Orna Grumberg) are on the web
Avi
|
|
| Created on 26/6/2006, 14:25:11 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW3 FAQs | Hi,
There are some VERY VERY VERY VERY important updates in the HW3 FAQs section.
Make sure you take a look at them
Amir |
|
| Created on 16/6/2006, 12:25:41 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW2 Solution | Hi,
I've placed a solution to HW2 under Course Material->Misc
This is a pretty good, and well documented, solution to HW2
NOTE: IT IS NOT PERFECT!!!
You may use it as a starting point for the next assignments.
Amir |
|
| Created on 16/6/2006, 12:10:41 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW2 Grades are now on the web | HW2 grades have been published.
The works themselves will be returned today (Thursday) to the retun boxes in the Taub building.
Please take your work and review your errors
Appeals can be submitted starting Tuesday, and for two weeks
Have a nice weekend
Amir |
|
| Created on 14/6/2006, 23:20:18 |
|
|
|
|
|
|
|
|
|
|
|
|
| Examples regarding constraint locations | Hi,
I've placed two e code examples which are supposed to clarify the subject of constraint location (see Course Material-> Misc)
Amir |
|
| Created on 11/6/2006, 21:24:56 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW4 is now on the web | HW4 - Calc2 Generator is now on the Web
Submission deadline is July 4th, 23:55 (same as HW3)
Amir |
|
| Created on 8/6/2006, 18:58:57 |
|
|
|
|
|
|
|
|
|
|
|
|
| Submission of HW2 has been postponed | HW2 submission has been postponed until June 11th, 23:55
Amir |
|
| Created on 6/6/2006, 21:17:07 |
|
|
|
|
|
|
|
|
|
|
|
|
| Slides for Coverage Lecture | The slides for the next couple of lectures on coverage are on the web
Avi |
|
| Created on 5/6/2006, 09:02:20 |
|
|
|
|
|
|
|
|
|
|
|
|
| Slides for the rest of the tutorials are now on the web | These slides include the remaining subjects to be covered in the turorials.
Amir |
|
| Created on 4/6/2006, 12:30:09 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW3 is now on the web!!! | Hi,
I've placed HW3 on the web, under home assignments.
In addition, a vunit example can be found under Material->Misc
FAQ sections have been opened for HW3
Good Luck!
Amir |
|
| Created on 31/5/2006, 23:07:46 |
|
|
|
|
|
|
|
|
|
|
|
|
| Important Note about HW submission | Please place a file called ids.txt in your test bench's root directory
The ids.txt file should include the names of the submitting students, IDs and e-mail
This relates to all HW exercises!!
Amir |
|
| Created on 31/5/2006, 23:06:15 |
|
|
|
|
|
|
|
|
|
|
|
|
| Slides for PSL Lecture | The slides of the Tuesday's lecture on PSL are now on the web
Avi |
|
| Created on 29/5/2006, 21:40:49 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW2 submission date has been postponed | Due to all the T2 problems, HW2 submission date has been postponed until June 6th
Amir |
|
| Created on 28/5/2006, 14:42:54 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW1 Final grades have been published! | You'll get your work back on Monday (Which is MATKONET Tuesday, so we have a tutorial...)
You may appeal starting Tuesday, and for the two weeks that follow
Grading policy:
40 points - dry part: your explantion of the design + code review
20 points - VHDL test: recreating the exmaple from the exercise definition
40 points - Automatic checking
Points were reduce based on the following criteria (common errors):
Parametric design - using numbers where you should have defined constants - [2..5] points
Process with no sensitivity list - 5 points
Lack of details in the document - [1..10] points
Writing the VHDL test within the test bench (and not in a separate entity) - 2 points
Asynchronous reset - 1 point
Not following submission instructions - [1..10] points
RDY deasserted at the wrong time - 10 points
ERR rises where there is no error - 10 point
Every other error (not identify bad parity, timing, bad packet format...) - 5 points
Before appealing, please make sure you have a sound case
Appeals about amount of points (i.e., admitting that the error is there, but thinking less point should have been reduced) will not be accepted
Amir
|
|
| Last updated on 25/5/2006, 00:22:22 |
|
|
|
|
|
|
|
|
|
|
|
|
| Slides for Sixth Lecture (now for real) | For some reason, the slides for the sixth lecture did not apear on the web when I first placed them.
They are there now.
Avi |
|
| Created on 23/5/2006, 15:25:43 |
|
|
|
|
|
|
|
|
|
|
|
|
| Slides for Sixth Lecture | Slides for our next topic, checking, are on the web.
We will start going over them (time permitting) today |
|
| Last updated on 23/5/2006, 08:51:06 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW1 grades published | Hi,
HW1 grades are now on the web
In case you didn't get a grade, that means there's some problem with your HW (missing files, documents...) - please contact me via mail.
There are a couple of students who submitted work, but are not listed in the course's website, so in case your partner got a grade and you did not, mail me your details (name, ID, e-mail) and I'll add you to the course list
Amir |
|
| Created on 18/5/2006, 19:51:27 |
|
|
|
|
|
|
|
|
|
|
|
|
| Transfering files to your VLSI account | Hi,
Since the files you've received include the compiled version of calc2, transfer them to your VLSI account in binary mode
I've also placed the very same files in /hp/cpibtc/HW2, so you can copy them from there (make sure you copy recursively, to include all subdirectories)
Amir |
|
| Created on 16/5/2006, 20:28:58 |
|
|
|
|
|
|
|
|
|
|
|
|
| Slides for fifth lecture | The slides for the next lecture topic (stimuli generation) are now on the web.
Note that this week (May 16) we'll have three hours of lecture instead of the tutorial
Avi |
|
| Created on 14/5/2006, 09:30:06 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW1 ids.txt file | Hi,
Some of you have failed to send me the ids.txt file, or did not place your e-mails in that file
There are files which don't compile, and I have no way of informing the relevant students
In case you have not written your mails, or have not submitted ids.txt, please mail me ASAP.
Amir |
|
| Created on 11/5/2006, 15:25:59 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW2 is now on the web!!! | Hi,
I've place HW2 on the web, under home assignments.
In addition, all the e examples can be found under Material->Misc
FAQ sections have been opened for Calc2 and HW2 with a couple of tips to get you started
Good Luck!
Amir |
|
| Created on 9/5/2006, 22:48:16 |
|
|
|
|
|
|
|
|
|
|
|
|
| Three hours tutorial on May 9th | Hi,
On May 9th we will have a three-hours tutorial (instead of lecture hours)
We will complete the review of basic 'e' syntax (this will take about 2 hours), and start discussing testbench design.
The slides for testbench design are on the web.
In addition, the first Specman exercise will be published on Tuesday.
See you there,
Amir |
|
| Created on 4/5/2006, 14:37:23 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW1 has been collected! | Hi,
HW1 has been collected. In addition, the electronic submission has been closed.
For late submissions (both approved and not):
* Send me the zipped files to nahira@cs
* Place the dry part in the course box (Near the Greg, inside Taub)
* Mail me a reminder that you placed you work there.
Amir |
|
| Created on 1/5/2006, 12:03:37 |
|
|
|
|
|
|
|
|
|
|
|
|
| Defining arrays in VHDL | Hi,
There is a mistake in the tools document I published.
In order to define an array in VHDL, first define, in your package, a related type:
type fifo_type is array(0 to 3) of std_logic_vector(7 downto 0);
to use this type, write, within your architecture:
signal fifo : fifo_type;
Amir
|
|
| Created on 25/4/2006, 23:56:57 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW1 Submission date postponed | Hi,
Due to several requests, the submission date for HW1 has been postponed to April 30th, 23:55
Amir |
|
| Created on 25/4/2006, 23:18:50 |
|
|
|
|
|
|
|
|
|
|
|
| Created on 24/4/2006, 19:19:03 |
|
|
|
|
|
|
|
|
|
|
|
|
| Slides of forth lecture | The slides of the forth lecture are now on the web
Avi |
|
| Created on 20/4/2006, 14:28:40 |
|
|
|
|
|
|
|
|
|
|
|
|
| FAQ section for HW1 started | | Any questions sent to me will be posted there
|
|
| Created on 11/4/2006, 19:59:39 |
|
|
|
|
|
|
|
|
|
|
|
|
| specman_nc.vhd uploaded | The file required for the wrapper compilation and elaboration has been uploaded.
You can find it in the HW section
Happy Passover! |
|
| Created on 11/4/2006, 19:53:58 |
|
|
|
|
|
|
|
|
|
|
|
|
| Urgent Message from Goel Samuel (VLSI Lab) | under no circumstances must you switch off or reboot
any of the lab computers. If for any reason the computers
get stuck (which is quite rare), you must leave it alone
and mail Goel (goel@ee) about the problem.
Sometimes, students do this. This can cause damage or can
paralyse the whole lab. If this happens during the Passover
break, it can be most inconvenient.
|
|
| Created on 11/4/2006, 10:27:27 |
|
|
|
|
|
|
|
|
|
|
|
|
| Slides of third lecture | The slides of the third lecture are now on the web
- Avi |
|
| Last updated on 9/4/2006, 09:51:07 |
|
|
|
|
|
|
|
|
|
|
|
|
| Specman slides are on the web | The slides for the next tutorial are now on the web.
These slides cover the next 4 tutorials
Amir |
|
| Created on 6/4/2006, 19:15:42 |
|
|
|
|
|
|
|
|
|
|
|
|
| HW1 is on the web | HW1 is a 5% bonus exercise.
Also published: all the VHDL examples shown in class and a document about the tools we'll be using in the course.
See under course material -> misc
Amir |
|
| Created on 4/4/2006, 16:44:07 |
|
|
|
|
|
|
|
|
|
|
|
|
| Slides of second lecture | The slides of the second lecture have been placed on the web
Avi |
|
| Created on 29/3/2006, 10:36:17 |
|
|
|
|
|
|
|
|
|
|
|
|
| Welcome to 236605 - Simulation Based Functional Verification | The slides of the first lecture and tutorial have been placed on the web
Amir |
|
| Created on 14/3/2006, 09:31:49 |
|
|
|
|
|
|
Technion - Israel Institute of Technology 
