Korea Research Institute of Bioscience and Biotechnology

Samsung Electronics Co., Ltd.

Jung Woon Lee

Kyeong Seok Lee

Yee Sook Cho

Junyoung Jeong

Soonwoo Choi

A computing system configured to verify design of an integrated circuit (IC) includes a memory and a processor. The memory is configured to store computer executable instructions. The processor is configured to generate a first coverage model for at least two high-level parameters from the Institute of Electrical and Electronics Engineers (IEEE) 802.11 standard or hardware description language (HDL) code by executing the computer executable instructions, generate a second coverage model for low-level internal signals from the HDL code by executing the computer executable instructions, and generate a plurality of test packets for a regression test by using at least one of the first coverage model or the second coverage model by executing the computer executable instructions.

Computing system and method of verifying circuit design in computing system

Provided herein are novel indoleacrylic acid-based compounds, and pharmaceutically acceptable salts thereof, useful for the production, maintenance and proliferation of pluripotent stem cells. Also provided are cell culture compositions comprising these compounds, and methods of using these compounds in the production and maintenance of pluripotent stem cells.

Low-molecular-compound for improving production, maintenance and proliferation of pluripotent stem cells, composition comprising the same, and culture method

Growing community of inventors

Daejeon, South Korea

Jung Woon Lee