gluggymug

12 ms·

61.
by gluggymug 11y ago
"I think you trust tools more than you're letting on. You probably just cross-check tools with tools in various ways like I did with high assurance SW to catch tool-specific issues. That implies a lot of, but not total, trust in t
62.
by gluggymug 11y ago
"So, are Intel just being lax on verification or is their stuff just too complex + optimized to catch all the corner cases?" Lax! Of course it's complicated but verification is about finding the corner cases. Intel is driving
63.
by gluggymug 11y ago
"Are you joking? Intel uses (even invented) so much verification tech it's crazy." That's kinda why I am sniggering. Intel has a rep for letting bugs go to silicon despite all that stuff. In terms of verification, they d
64.
by gluggymug 11y ago
Agreed. The bugs seem logical. It doesn't reflect well on the Intel verification effort if they were logical though. It means they didn't verify properly. One possible guess/excuse-for-stuffing-up is that tools don't alw
65.
by gluggymug 11y ago
Uh, tape out doesn't mean you've verified anything properly. Looking at the various Intel bugs found, I can't help sniggering a little. Verification mistakes happen all the time though. It's just a matter of when the bug
66.
by gluggymug 11y ago
Why do you want to do that? Isn't there a hard ARM core on the Zynq 7000s ?
67.
by gluggymug 11y ago
Interesting paper. It sounds good until you look for the actual work. With a possibly limited amount of testing, you can't be sure of anything. In verification, you can never just trust the tools. With no code coverage numbers, how do
68.
by gluggymug 11y ago
Maybe I was a bit harsh with the "almost no tests". They have some tests. Someone name fmarch asked on https://news.ycombinator.com/item?id=10831601 about verification against the ISA model. It possibly can be don
69.
by gluggymug 11y ago
The flow is not good IMO. They haven't followed engineering practices which is one of the issues mdwelsh was talking about. If they've synthesized to 45nm and 28nm, where's all their synthesis stuff - constraints etc.? They h
70.
by gluggymug 11y ago
I don't think the RISC-V work is a good example. It suffers from some of the problems that mdwelsh is worried about. It's aimed at a real world problem but their solution is not good. A couple of days ago, someone asked where the
71.
by gluggymug 11y ago
Not a lot of verification that I could find. The tests are not extensive. Just hand written assembly code testing one thing at a time AFAIK. As someone who used to lead ASIC verification projects for a living, I expected a lot more at a min
72.
by gluggymug 11y ago
Check out : https://github.com/ucb-bar/rocket-chip Last time I complained here about the verification infrastructure of this project, someone gave that link. I didn't like much of what I could find there. What exa
73.
by gluggymug 11y ago
I think the story was that these etudes were written to be impossible to play hence people got a kick out of seeing someone give it a go.
74.
by gluggymug 11y ago
Did you work a year full time in a relevant field before you did your masters? I am saying I would rather employee someone who had worked for a year in my field than someone who had done a Masters straight after their Bachelors.
75.
by gluggymug 11y ago
Have you just started working or something? As a grad of a Go8 uni and someone who has worked a couple of decades, I wouldn't worry about this signal stuff. If you want to improve yourself you can do study but it doesn't mean as m
76.
by gluggymug 11y ago
The target is the iCE40 HX8K according to the slides (p17) not the icestick unfortunately. It uses 1521 LUTs with Yosys. The icestick is a HX1K which has 1280 LUTs I think.
77.
by gluggymug 11y ago
That's bad advice. Just going to cause resentment IMO. The concept of double checking your own work doesn't really fly in engineering work. Not that everyone shouldn't do it but it doesn't tend to add much value to the e
78.
by gluggymug 11y ago
I agree the article is more about stupid management but micromanagement is another aspect of stupid management. If there are over-detailed micro-goals and accompanying micro-status updates on everything, it devalues the employee. The goals
79.
by gluggymug 11y ago
That's the problem I think. He's changed from a shared pixel memory in the reference design to a non shared one in his HW accelerated design. That's the impression I get from the diagrams. It's somewhat moving the goal p
80.
by gluggymug 11y ago
It's actually "if x { y }" in Perl rather than "if x then y". This favours blocks of multiple expressions whereas "y if x" is good for a simple single expression. A lot of the Perl branching and looping di
81.
by gluggymug 11y ago
That is such an unhelpful mantra to keep repeating. It's phrased negatively and offers no enlightenment other than acknowledgement of your ignorance. People qualify as worthy leaders by showing wisdom. Plenty of stuff is not super orig
82.
by gluggymug 11y ago
I worked at a large company where we didn't unit test. We should have. I worked on embedded SW and HW projects for office multi function printers. Due to poor planning / management, unit tests often weren't done. Bad decision
83.
by gluggymug 11y ago
In my corporate experience, it depends on the problem. Identifying problems and solving them is great until the problems you identify are in the realm of your manager's responsibility. Don't show too much initiative. It threatens
84.
by gluggymug 11y ago
Hong Kong has closet sized apartments. That trend didn't always get the favourable write ups though. E.g. http://www.nydailynews.com/life-style/real-estate/photos-lif... Can't wait for the next trend aft
85.
by gluggymug 11y ago
Blame management is super important! Faking passion is what the grad in the article needs to work on apparently. I don't think unis are equipped to teach everything. The article says that internships are where grads can get workplace e
86.
by gluggymug 11y ago
I don't think the article is terrible. If childcare businesses are struggling, there will be less and less of them. Which is why the article argues for some form of government intervention.
87.
by gluggymug 11y ago
Not sure how you are doing your maths there. Where does the 10% factor in?
88.
by gluggymug 11y ago
Ah you must mean the good old "ceiling puncher". :) Actually I think the pole is just the regular extension pole you'd use with a paint roller. You get a light bulb changing attachment instead.
89.
by gluggymug 11y ago
Agreed. I was a victim of this in my former home in Adelaide. It was a newly built townhouse complex so we were a body corporate. Within 4 years of building completion, we were suffering from rising damp and completely loose paving in the s
90.
by gluggymug 11y ago
Yeah I don't think it's bias. That would imply that there's no issues with the newer design when the article clearly showed where the wrong choices have affected the durability of the building.

More ›