Aug 16, 2013

Serving local web pages

I've been trying to improve some SystemVerilog constraints, in Synopsys VCS. One useful approach is to use the profiling features of the constraint solver to explore particular constraints that might be burning lots of cycles or proving hard to solve. There's a VCS runtime switch to turn on constraint profiling:

+ntb_solve_debug=profile

This creates a profile report in the simv.cst directory, in html/profile.xml The documentation mentions that this file is viewable in Chrome and Firefox but doesn't work in IE. However, it now seems like it also isn't viewable in Chrome. Instead, it hits a security issue:

Unsafe attempt to load URL file:///projects/simv.cst/html/cstrProf.xsl 
from frame with URL file:///projects/simv.cst/html/profile.xml. 
Domains, protocols and ports must match.

Now, the file does load in Firefox, but I've been trying to avoid running multiple browsers. There is however a simple fix. You can run a web server and serve up the profile over html. That maybe sounds like a lot of work, but python ships with one in the standard library and it will run as a command-line loaded module. So, simply change directory to your build directory (or close to it - the server lets you navigate the file hierarchy too) and run

python -m SimpleHTTPServer

Then in a browser on the same machine, open http://localhost:8000 E.g., if you run the server in the directory with the profile, you can go directly to http://localhost:8000/profile.xml

There are comments.

Aug 12, 2013

Language Specification Length

Language Complexity

Now, just as number of keywords isn't the sole indicator of the complexity of a language, the length of the specification doesn't tell the entire story. However, SystemVerilog in the new 2012 version clocks in at 1315 pages.

There are comments.