浦东张江外企--纳拓软件招聘C/C++软件工程师

发布时间：2007-01-04
工作地点：上海
信息来源：饮水思源
职位类型：全职
职位描述
浦东张江外企--纳拓软件招聘C/C++软件工程师
发信站: 饮水思源 (2007年01月04日12:58:11 星期四)

上海浦东张江外企--上海纳拓软件有限公司招聘C/C++软件工程师


纳拓软件（Nextop Software）是一家根植于硅谷和上海张江的新兴高科技软件
公司，公司创始人都曾在美国著名大学获得博士学位，是电子设计自动化(EDA)
领域的著名专家，具有丰富的硅谷产品开发经验。

纳拓软件为价值数十亿美元的电子设计自动化(EDA)市场提供先进的软件工具．
我们的技术将使硬件IC设计和验证流程发生革命性的变化。公司的短期目标是开
发拥有多项美国专利算法的软件产品,占领欧美及亚太市场；长期目标是发展成为
EDA行业领先的软件企业．

纳拓软件拥有硅谷高技术创业文化, 为员工提供一个有朝气, 灵活和愉快的工作
环境，优厚的薪酬及期权, 广阔的发展空间. 最重要的是, 研发人员将参与核心
代码的开发, 技术上的挑战会充分展示他们的天赋，并进一步提高他们的技能．

纳拓信奉“人”是第一位的资产。我们拥有世界级的团队。现在正在寻找天才的，
有远大志向的和积极的成员与我们一起创业．如果你是一名EDA综合或硬件验证
领域的专家，如果你有丰富的Linux下C++编程和编译器开发的经验，如果你对
以下的问题感兴趣，欢迎你联系我们（job@）。

Problem 1 : Fast one-hot checker
A bit vector is one-hot if and only if there is at most one 1 in the
vector. For example, 0000 and 00100 are one-hot and 00110 is not one-hot.
Please find the fastest way to check whether a bit vector is one-hot or not.


Problem 2 : 3-Inverter
Assume that a logical blackbox has three Boolean inputs x, y, z and
three Boolean outputs X, Y, Z where the outputs are defined as

X = ~x

Y = ~y

Z = ~z

Note that ~ stands for a NOT gate. Please realize this blackbox using
only two NOT gates, and as many as possible AND and OR gates.

Problem 3 : Is it a loop ?
Assume that we have a head pointer to a link-list. Also assume that
we know the list is single-linked. Can you come up an algorithm to check
whether this link list includes a loop by using O(n) time and O(1) space
where n is the length of the list? Furthermore, can you do so with O(n)
time and only one register?

Problem 4 : Detect same sequence
Assume that we have a m*n matrix A where both m >= 1K and n >= 100K. X_i is
a row vector of A where 1