Sudhakar Kalla

Learn More
This paper addresses the equivalence verification problem of register-transfer level (RTL) descriptions that implement arithmetic computations (such as add, mult) over bit vectors with finite widths. A bit vector of size represents integer values from 0 to 2<sup>m</sup>-1, implying that the corresponding integer values are reduced modulo(More)
The phycocyanin subunit gene cluster is duplicated on the chromosome of the cyanobacterium Anacystis nidulans UTEX 625. The two gene clusters cpcB1A1 (left) and cpcB2A2 (right) are separated by about 2,500 base pairs, and in each cluster the beta-subunit gene is located upstream from the alpha-subunit gene. Filter hybridizations with phycocyanin-specific(More)
Cyanobacteria acclimate to changes in light by adjusting the amounts of different cellular compounds, for example the light-harvesting macromolecular complex. Described are the acclimatization responses in the light-harvesting system of the cyanobacterium Anacystis nidulans following a shift from high intensity, white light to low intensity, red light.The(More)
Deletion mutants in the 375-base-pair EcoRI-AvaI fragment carrying the partition locus of plasmid pSC101 were formed by the combined action of exonuclease III and nuclease S1. Six deletion mutants were isolated, and the endpoints of the deletions were sequenced. One of the deletions extended 69 base pairs from the EcoRI site without impairing plasmid(More)
  • 1