Hypothesis, Antithesis, synthesis

Bombadil: Property-based testing for web UIs

Vectorization of Verilog Designs and its Effects on Verification and Synthesis

Sub-second volumetric 3D printing by synthesis of holographic light fields