scholarly journals A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)

2018 ◽  
Vol 266 ◽  
pp. 164-178 ◽  
Author(s):  
Francisco Rios ◽  
Peter Selinger
Keyword(s):  
Quantum Circuit ◽  
Description Language ◽  
Categorical Model ◽  
Circuit Description

Stratus: A procedural circuit description language based upon Python

2007 ◽  
Author(s):  
Sophie Belloeil ◽  
Damien Dupuis ◽  
Christian Masson ◽  
Jean-Paul Chaput ◽  
Habib Mehrez
Keyword(s):  
Description Language ◽  
Circuit Description

FUNCTIONAL PEARL Derivation of a logarithmic time carry lookahead addition circuit

2004 ◽  
Vol 14 (6) ◽  
pp. 697-713 ◽  
Author(s):  
JOHN T. O'DONNELL ◽  
GUDULA RÜNGER
Keyword(s):  
Partial Evaluation ◽  
Digital Circuit ◽  
Description Language ◽  
Correctness Proof ◽  
Function Representation ◽  
Symbolic Function ◽  
Ripple Carry Adder ◽  
Circuit Description ◽  
Associative Function

Using Haskell as a digital circuit description language, we transform a ripple carry adder that requires $O(n)$ time to add two $n$-bit words into a parallel carry lookahead adder that requires $O(\log n)$ time. The ripple carry adder uses a scan function to calculate carry bits, but this scan cannot be parallelized directly since it is applied to a non-associative function. Several techniques are applied in order to introduce parallelism, including partial evaluation and symbolic function representation. The derivation given here constitutes a semi-formal correctness proof, and it also brings out explicitly each of the ideas underlying the algorithm.

Sign in / Sign up

Export Citation Format

Share Document