I have to make a disclaimer. I didn’t spread any rumours about Verona and her new potential date-to-be and I am not the one driving her so mad that she consider locking up her blog. The story begin yesterday lunch, me, Ray Woo, Jackson and Verona went to have lunch. Verona blog about her new date last week but didn’t mention any names. In the lunch, we were making fun of her new potential date-to-be. Me and Raymond make some harmless jokes, but some one spreads a rumour about who is the guy. He phased it as a riddle, but I couldn’t guess it right. Not because I am not smart enough, but because the answer is some guy I know of and I don’t think is him. Anyways, last night Verona is really upset and write in her blog someone is not respectful. I message Verona and apologized thought she is upset for my jokes in the afternoon. She explained to me that my joke is so obviously ridiculous that it is harmless and tell me the answer of Jackson’s riddle. Then I found out today Lesile, a good friend of Verona, called her and asked what happened. He thought I did it too. That’s why I ask Verona to state in her blog that I am innoncent. I guess I know I sometimes make the jokes too far that become offensive. Not only the third party think I did it, I myself think I did it too. The only difference is that I didn’t do it intentionally, I would apologize and admit my wrong doing. Not like someone that he don’t even care that he had offenced people. To make it worse, he keep making more fun out of the poor victim’s psychological suffering.

I treated Verona a nice sushi dinner tonight because my P.Eng application.? At first she lent me her textbook and study notes for the P.Eng practice exam, after some bargaining, I promised to treat her sushi if I passed the exam.? Later on, I found out APEG lost the reference from my professor.? Since my professor is really hard to find, I switched my reference to Verona and upgrade the sushi dinner.? She heard about this resturant in Aderdeen Center from her family friends.? Apparently, it has the coldest refrigerator in Vancouver, so it’s sushi must be top quality.? Actually it is a large sushi franchise in Japan, and this is their first oversea shops.? The fish is very fresh, but the portion is a bit too small.? We tried a few not very common fishes, kobe beef and uni seaweed roll.? The decoration of dishes looks really nice, too bad that we forgot to take pictures before we eat, we were just too hungry.? Verona told Pat about her stories of 200 balloons, got picked up in German and her dual professional qualification.? Pat find it quite funny, but I am a bit bored.? I have already heard those stories.? Somehow I am amazed Verona repeat the stories like playing tape recording, it is exactly the same as the version I heard.? Usually when I tell stories, the stories get improved over time.? The more times I tell the same story, it is more exciting and funny.? It may drift further away from what really happened though.

This week I have been spending some time learning PSL assertion at work.? Assertion is a new verification methodology pushing very hard from the EDA venders.? It is a complement to the traditional verification flow, which you have no visibility inside the device.? Assertion allows you put extra checks right into the RTL logics.? Actually assertion exists for VHDL quite a long time.? The problem is the awkward syntax and limit functionality.? PSL is just another implemeent and syntax for assertion.? It seems the industry? somehow agree to support this one standard across different hardware languages.? One thing quite interesting is PSL assertion is inserted to the code as comments begins with the keyword psl.? Some of our old code breaks because we have a block happenes to call psl and we have this reserved keyword all over the code in comments.? Anyways, PSL assertion is quite handy to writing conditional or sequence checks.? Much easier than building a state machine to predict the result.? The more powerful feature of PSL assertion is that it support formal verification, which use mathematical alogirthm verify the code is equivalent to the specification. However, formalv verification is always a promise never comes true.? I guess if there are algorithms checking the specification against the implmentation, how hard would it be to let the algorithm simplily generate the code.? My first experience with PSL assertion is quite good, except that I manage to crash the simulator merely learning PSL for a day.? I guess I am just naturally attractive to bugs.

Tonight after my philosophy class, I head over to a pub with some classmates.? They go drinking after class every Thuesday and talk about the lectures.? Since the professor finish the class a bit early, I decided to join them for a while.? The professor said he will join us next week too.? We head to the Cambie pub, which is just a few blocks away from SFU Harbour Center.? It is quite noisy there, not a very good place to chat.? The beer is good though.? Actually, beer is good anywhere.? We talked about communism and socialism today.? Somehow many of them are quite buy into the socialistic idea.? Today’s class talk about libertarianism, as know as the capitalism.? Almost everyone agree the argument for libertariansim in the textbook are flawed, even worse than the argument for liberal equality from last week.? Oddly though, the textbook didn’t defense libertarianism from utilitarianism point of view.? I find it is easiest to defend capitalism using classical economy since the days of Adam Smiths.? Granted, the efficiency of free market has its limit, where it may not work in some cases, but at least it get rid of the puzzling fair argument.? My classmates think socialism is the most fair political system.? We will learn about that next week.? For myself, I am actually an egoist.? I will support whatever system that benefit me most.? From my experience, free market capitalism is the most reasonable choice.? Of course, I won’t mind totalitarian state if I am the dictictor.? I think collective egoism will result in free market capitalism.? I support Rawl’s contract hypothesis, only that it should not be blind folded.? I think it is fair and just that we are born unequal, because that’s the reality.

I never realize Volcano is such a big threat to mankind that it could doom all of us. My impression of Volcano are those cone shape mountains with lava flowing in Hawaii or Japan. Actually those kind of Volcano are quite harmless, only affect area on the way of the lava rivers. Mount St. Helen near Portland is a different kind of Volcano. It does not have an open top, so pressure builds up inside the mountain. When it erupted in 1980, the shock wave and ashes kills everything within a few kilometers. Towns as far as 30km are covered with ashes. I remember there was a movie called Volcano in which the fire fighters heroicly blocking the flow of lava and save the city. Actually in an eruption, the lava is the last thing you should worry about. It moves so slow that it is only a logistic question to let everybody escape. The most deadly things from an eruption are the ashes. Near ground zero, the high pressure ashes will cut through anything on its way. When the shockwave dies down, the ashes in the air is so thick that it is unbreathable. For a large area, although there is no immediate danger, the ashes covers the land. The ashed land is not suitable to grow crops for many months or even years.? There are so many ashes from St. Helen that it can bury Manhatten under 20 meters of Ashes. The damage caused by St. Helen is very bad but not fatal to mankind. The whole Yellow Stone national park used to be a super volcano millions of years ago. When it last erupted, the ashes makes lands within 1000km radius unlivable and affect people on the other side of the globe. It has enough ashes to cover California 6m deep. If a super volcano erupt today, at least half of the world’s population would die. Unfortunately, with our current understanding of Earth and technology, we can’t do much about the super volcano except pray for it wouldn’t happen.