Align header style and refine the introduction and example pages
Headers:
- Convert all page headers to sentence case, preserving acronyms, proper
nouns, and code identifiers. GitHub derives anchors by lowercasing, so
existing #anchor links are unaffected.
Introduction to HAL:
- Link "plugins" to the plugin index
- Correct the claim about the university lecture: HAL underpins its
practical part, and the example projects overlap only part of it
- Describe recovering high-level structure as several complementary
steps rather than one dominant one
- Move "publish reproducible research" to the end of the applications
Using HAL:
- Introduce the top module before referring to it, and move its snippet
into the Python section so no code precedes the Python introduction
- Rewrite the Python examples for readers new to Python, pull the IDs
section to the front, and give every item the same paragraph form
- Explain that the gate library and Python scripts may live outside the
project directory, and that an export always collects them
- Turn the netlist import dialog fields into an enumerated list
- Correct why a recovered netlist has no hierarchy: it is a design-time
construct absent from the chip or bitstream, not something synthesis
necessarily removes
Example projects:
- List each project once instead of three times
- Replace the empty-header tables with definition lists
Crypto Trojan and HAWKEYE:
- Document the ready-to-run hawkeye.py, the preprocessing it needs, and
the S-box database now shipped with HAL
Updated Graph Algorithms (markdown)
Updated Graph Algorithms (markdown)
Updated Graph Algorithms (markdown)
Updated Graph Algorithms (markdown)
Updated Graph Algorithms (markdown)
Updated Graph Algorithms (markdown)
Updated Graph Algorithms (markdown)
Updated Graph Algorithms (markdown)
Updated Graph Algorithms (markdown)
Updated Graph Algorithms (markdown)
Updated Graph Algorithms (markdown)
Updated Graph Algorithms (markdown)
Updated Graph Algorithms (markdown)
Created Graph Algorithms (markdown)