Search Results - "Linhard, L."
-
1
Role of Surfactants in the Interaction of Dye Molecules in Natural DNA Polymers
Published in Langmuir (06-10-2009)“…Solutions and powders formed from salmon sperm deoxyribonucleic acid (DNA) reacted with the cationic surfactant cetyltrimethylammonium chloride (CTMA-Cl)…”
Get full text
Journal Article -
2
High-resolution crystal structure of cAMP-dependent protein kinase from Cricetulus griseus
Published in Acta crystallographica. Section F, Structural biology communications (01-08-2015)“…Protein kinases (PKs) are dynamic regulators of numerous cellular processes. Their phosphorylation activity is determined by the conserved kinase core…”
Get full text
Journal Article -
3
Recursive bi-partitioning of netlists for large number of partitions
Published in Journal of systems architecture (01-12-2003)“…In many application in VLSI CAD, a given netlist has to be partitioned into smaller sub-designs which can be handled much better. In this paper we present a…”
Get full text
Journal Article -
4
Level assignment for displaying combinational logic
Published in Proceedings Euromicro Symposium on Digital Systems Design (2001)“…Netlist viewers in VLSI CAD usually display gate-level circuits in a column-oriented style for easy readability. Each gate has to be assigned to one column,…”
Get full text
Conference Proceeding
-
5
Recursive bi-partitioning of netlists for large number of partitions: Synthesis and verification
Published in Journal of systems architecture (2003)Get full text
Journal Article -
6
Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking
Published in 2008 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools (01-09-2008)“…Integrating design and verification becomes more and more important due to the increasing complexity of today's circuits and systems. SystemVerilog is a…”
Get full text
Conference Proceeding -
7
Recursive bi-partitioning of netlists for large number of partitions
Published in Proceedings Euromicro Symposium on Digital System Design. Architectures, Methods and Tools (2002)“…In many application in VLSI CAD, a given netlist has to be partitioned into smaller sub-designs which can be handled much better. In this paper we present a…”
Get full text
Conference Proceeding -
8