jasnap

formal_ver_alu

Formal verification of an ALU

N_modular_redundancy_FIR

Fault tolerant FIR filter designed using N-modular redundancy technique for creating hardware fault tolerance

philogenetic_trees

Parallel and sequential algorithms for finding philogenetic trees using Maximum Parsimony. The scoring algorithm used is Fitch scoring algorithm. Exhaustive search and Branch and Bound search algorithms are implemented in sequential variant. SPMD method is used in parallel implementation.

phylogenetic_trees_parallel

Parallel implementation of Maximum Parsimony algorithm for building phylogeny trees

python_scripts

jasnap/formal_ver_alu

Formal verification of an ALU

jasnap/N_modular_redundancy_FIR

Fault tolerant FIR filter designed using N-modular redundancy technique for creating hardware fault tolerance

jasnap/philogenetic_trees

Parallel and sequential algorithms for finding philogenetic trees using Maximum Parsimony. The scoring algorithm used is Fitch scoring algorithm. Exhaustive search and Branch and Bound search algorithms are implemented in sequential variant. SPMD method is used in parallel implementation.

jasnap/phylogenetic_trees_parallel

Parallel implementation of Maximum Parsimony algorithm for building phylogeny trees

jasnap/python_scripts