Kumar Venkat

Learn More
— A complete set of rules is presented for timing verification of domino-style dynamic circuits. These rules include identification of dynamic nodes, generation of accurate timing constraints based on the operating environment of the gate and verification as an enhanced part of a complete timing verification process. This methodology has been implemented in(More)
In this paper, we investigate the environmental performance of lean supply chains using carbon dioxide emissions as the key performance indicator. Lean is based on the premise that compressing time reveals hidden quality problems and that their resolution leads to more efficient, cost-effective business processes. If time compression always implies lower(More)
This paper describes an application of agent-based modeling to investigate the effect of a distance-based transaction cost on trade. Long-distance trade is rapidly increasing, but may ultimately be constrained by our ability to move material goods between sellers and buyers. Unlike information exchange, trade in material goods is dependent on the price of(More)
  • 1